DIE GESETZE · THE LAWS
Die Gesetze
3 laws settled by calculation — each kernel-checked, proof open to inspection.
Structural·21 June 2026·SPECIMEN
Addition of natural numbers is commutative
Refuted by: two naturals a, b with a + b ≠ b + a
Read the proof →Correctness over a domain·21 June 2026·SPECIMEN
Every successor of a natural number is positive
Refuted by: a natural n with n + 1 ≤ 0
Read the proof →Complexity bound·21 June 2026·SPECIMEN
Every power of two is positive
Refuted by: a natural n for which 2 ^ n = 0
Read the proof →