Continuing my idea that Torah is a theorem that Elochim proves and moreover that Torah proves that Torah should not proved, and the idea that In Torah something is missing, particularly the axiom like:
Sinners should not be punished by one who created [or made] them sinful.
And now I have an additional idea:
It seems that it is much easier to prove Torah (in another way that no more involves tortures) using the above axiom. The proof sketch:
- Torah should not be proved because it involves tortures.
- Therefore Torah involves tortures.
- Therefore Torah exists.