Primality Formal System Explorer
Primality Formal System Explorer
Explore the primality formal system [1] by clicking buttons to select axioms and generate theorems. First, click blue buttons on the "axioms" page to select the axioms to use, then on the "rules of inference" page click red buttons, each of which represents the creation of a new theorem of the system by applying a rule of inference to an axiom or previous theorem. The "proof graph" page shows the steps of your proofs graphically. (This is in treating the system in mechanical (M) mode. When you start thinking about what it all means—generating proofs of the primality of prime numbers, you are in intelligent (I) mode.)