✦ LIBER ✦

A System of Completely Independent Axioms for the Sequence of Natural Numbers

✍ Scribed by Shianghaw Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A System of Completely Independent Axiom

✍ Review by: J. C. C. McKansey 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 197 KB

A Categorical System of Axioms for the C

✍ W. Bosch and P. Krajkiewicz 📂 Article 📅 1970 🏛 Mathematical Association of America 🌐 English ⚖ 343 KB

A Complete Axiom System for Polygonal Me

✍ Ian Pratt; Dominik Schoop 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 315 KB

Supplement to my Paper "Axioms of the Na

✍ Review by: Alonzo Church 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 221 KB

A Reduction in the Number of Independent

✍ Review by: Naoto Yonemitsu 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 190 KB

Two Complete Axiom Systems for the Exten

📂 Article 📅 1968 🏛 IEEE 🌐 English ⚖ 607 KB