Truths
Jump to navigation
Jump to search
This page was gamestate in an unspecified dynasty (see which pages link here). It is being kept for archival purposes and is not part of the current BlogNomic game. |
Axioms
- For all a and b, (a,b) is an ordered pair.
- For all a, b, c and d, (a,b) = (c,d) if and only if a = c and b = d.
- There exists exactly one a such that a is an empty list.
- For all a and b, if b is a list, then {a}:b is a non-empty list.
- For all a, if a is a non-empty list, then there exist b and c such that a = {b}:c and c is a list.
- For all a, b, c, and d, if b and d are lists, then [{a}:b = {c}:d if and only if [a = c and b = d]].
- For all a and b, if b is a list, then [the head of {a}:b is a, and the tail of {a}:b is b].
- For all a, b and c, if c is a list, then [a is an element of {b}:c if and only if [a = b or a is an element of c]]
- For all a, a is not an element of the empty list.
- For all a, b and c, if b and c are lists, then ({a}:b) ++ c = {a}:(b ++ c).
- For all c, if c is a list, then {} ++ c = c (where {} is the empty list).
- For all Atoms X and Y, X * Y is an Atom.
- E is an Atom. For all Atoms X, E * X = X and X * E = X.
- For all Atoms X, [X’ is an Atom, and X * X’ = E and X’ * X = E].
Theorems
- {A}:::{B}&&{B}:::{C}&&{C}:::{A} = 0 [1]