[zkmon]

Those axioms do not have a basis other than observations at human scale.

[vatsachak]

They have a basis in the formal scale. The cool thing about formal logic is that it's all about physical changes.

Now, the meaning of the statements is definitely human, but the proofs go beyond