Returning players! Wiki accounts were reset in late 2014. If you haven't played since then and wish to edit the wiki, you'll need a fresh account.
Difference between revisions of "Truths"
From BlogNomic Wiki
(→Theorems) 
m (1 revision) 
(No difference)

Latest revision as of 05:32, 3 November 2014
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 nonempty list.
 For all a, if a is a nonempty 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]