|Axiom: principle or rule for linking elements of a theory that is not proven within the theory. It is assumed that axioms are true and evident. Adding or eliminating axioms turns a system into another system. Accordingly, more or less statements can be constructed or derived in the new system. > System.|
Books on Amazon
|Axioms||Berka I 141 ~
Axioms/Lukasiewicz/(s) "p" or also "Mp" must never appear as an axiom - but certainly as a line within a proof - ((s)"p" as an independent line means: everything is true") -> This is the contradictory system of all statements - "Mp" as an axiom: "anything is possible" - as if nothing were necessary then.
K. Berka/L. Kreiser
Logik Texte Berlin 1983