Necessary Truth

[z5v2x40y-t58a-5v43-uxx6-9w3z2v0y4a58] | P1 | Axiom | Necessary Truth

Mathematical truths are necessarily true.

Negation: Math is contingent

Dependencies

LIST
FROM ""
WHERE contains(depends_on, "G0.3")
   OR contains(enables, "G0.3")
SORT file.name

LIST
FROM #domain/god
WHERE file.name != this.file.name
SORT id