Beschreibt Genzens natürliche Abzüge der Satzlogik
1. Axiom der Identität: Der Satz "P" wird aus dem Satz "P" abgeleitet. 2. Axiom der Doppelverleugnung: Der Satz "No P" wird aus dem Satz "P" abgeleitet. 3. Axiom der Mutativität: Der Satz "P oder Q" wird aus dem Satz "Q oder P" abgeleitet. 4. Axiom der Assoziation: Der Satz "(P oder Q) oder R" wird aus dem Satz "P oder Q oder R" abgeleitet. 5. Axiom der Ergänzung: Der Satz "P oder Q" wird aus dem Satz "P" und aus dem Satz "Q" abgeleitet. 6. Axiom der Verteilung: Der Satz "P und Q" oder R" wird aus dem Satz "P oder R" und aus dem Satz "Q oder R" abgeleitet. 7. Axiom der Einfachheit: Der Satz "P und F" wird aus dem Satz "P" abgeleitet.