We’re a simple group, we are
Enacts at 7-0. -RaichuKFM
Adminned at 30 Jun 2013 19:06:39 UTC
Axioms:
* 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].
In other words, the Atoms form a group. Of course, these Axioms don’t tell us *which* group we form. If “The Game is nevertheless afoot” passes, we could add an axiom saying that the identity element, E, has achieved victory. Then we could allow Atoms to add axioms describing this group (with restrictions, of course); if you manage to make it so that you must be the identity element, then you win,
RaichuKFM: she/her