I claim in my previous publication that Torah is a theorem and Elochim proves Torah.

Then I noticed that I also claimed that Elochim is all consequences from Torah.

Then using the well-known mathematics (Godel’s theorems) either (or both):

• Elochim uses an additional axiom that is not in Torah and cannot be concluded from Torah. (And apparently I know this axiom: Sinners should not be punished by one who created them sinful.)
• Elochim uses not a finite, but an infinite set of consequences from Torah to prove Torah. So, it means that we borrow knowledge e.g. from other galaxies rather than to perform the experiment “on our own” without external input.