![Algebraic systems [and operator systems]](/nks/notes/notes-12-9--algebraic-systems-and-operator-systems/thumb.png "Algebraic systems [and operator systems]")
![[Axioms for] arithmetic](/nks/notes/notes-12-9--axioms-for-arithmetic/thumb.png "[Axioms for] arithmetic")
![[Axioms for] geometry](/nks/notes/notes-12-9--axioms-for-geometry/thumb.png "[Axioms for] geometry")
![[Axioms for] real analysis](/nks/notes/notes-12-9--axioms-for-real-analysis/thumb.png "[Axioms for] real analysis")
![Basic logic [and axioms]](/nks/notes/notes-12-9--basic-logic-and-axioms/thumb.png "Basic logic [and axioms]")
![Consistency [in axiom systems]](/nks/notes/notes-12-9--consistency-in-axiom-systems/thumb.png "Consistency [in axiom systems]")
![Encodings of arithmetic [by different operations]](/nks/notes/notes-12-9--encodings-of-arithmetic-by-different-operations/thumb.png "Encodings of arithmetic [by different operations]")
![Essential incompleteness [in axiom systems]](/nks/notes/notes-12-9--essential-incompleteness-in-axiom-systems/thumb.png "Essential incompleteness [in axiom systems]")
![[Examples of] unprovable statements](/nks/notes/notes-12-9--examples-of-unprovable-statements/thumb.png "[Examples of] unprovable statements")
![Fields [and axioms]](/nks/notes/notes-12-9--fields-and-axioms/thumb.png "Fields [and axioms]")
![Forcing of operators [by axiom systems]](/nks/notes/notes-12-9--forcing-of-operators-by-axiom-systems/thumb.png "Forcing of operators [by axiom systems]")
![Frameworks [in mathematics]](/nks/notes/notes-12-9--frameworks-in-mathematics/thumb.png "Frameworks [in mathematics]")
![General topology [and axioms]](/nks/notes/notes-12-9--general-topology-and-axioms/thumb.png "General topology [and axioms]")
![Generators and relations [and axiom systems]](/nks/notes/notes-12-9--generators-and-relations-and-axiom-systems/thumb.png "Generators and relations [and axiom systems]")
![Groups [and axioms]](/nks/notes/notes-12-9--groups-and-axioms/thumb.png "Groups [and axioms]")
![Groups and semigroups [and operator systems]](/nks/notes/notes-12-9--groups-and-semigroups-and-operator-systems/thumb.png "Groups and semigroups [and operator systems]")
![Growth rates [of functions]](/nks/notes/notes-12-9--growth-rates-of-functions/thumb.png "Growth rates [of functions]")
![History [of concept of mathematics]](/nks/notes/notes-12-9--history-of-concept-of-mathematics/thumb.png "History [of concept of mathematics]")
![History [of logic axioms]](/nks/notes/notes-12-9--history-of-logic-axioms/thumb.png "History [of logic axioms]")
![[History of] models of mathematics](/nks/notes/notes-12-9--history-of-models-of-mathematics/thumb.png "[History of] models of mathematics")
![[History of] truth tables](/nks/notes/notes-12-9--history-of-truth-tables/thumb.png "[History of] truth tables")
![Implementation [of operators from axioms]](/nks/notes/notes-12-9--implementation-of-operators-from-axioms/thumb.png "Implementation [of operators from axioms]")
![Implementation [of proof example]](/nks/notes/notes-12-9--implementation-of-proof-example/thumb.png "Implementation [of proof example]")
![Large solutions [to Diophantine equations]](/nks/notes/notes-12-9--large-solutions-to-diophantine-equations/thumb.png "Large solutions [to Diophantine equations]")
![[Mathematical] proofs in practice](/nks/notes/notes-12-9--mathematical-proofs-in-practice/thumb.png "[Mathematical] proofs in practice")
![[Methods for] proof searching](/nks/notes/notes-12-9--methods-for-proof-searching/thumb.png "[Methods for] proof searching")
![More powerful axioms [for mathematics]](/nks/notes/notes-12-9--more-powerful-axioms-for-mathematics/thumb.png "More powerful axioms [for mathematics]")
![Multiway systems [and operator systems]](/nks/notes/notes-12-9--multiway-systems-and-operator-systems/thumb.png "Multiway systems [and operator systems]")
![Nearby powers [and integer equations]](/nks/notes/notes-12-9--nearby-powers-and-integer-equations/thumb.png "Nearby powers [and integer equations]")
![Notations [for logical primitives]](/nks/notes/notes-12-9--notations-for-logical-primitives/thumb.png "Notations [for logical primitives]")
![One-way transformations [as axioms]](/nks/notes/notes-12-9--one-way-transformations-as-axioms/thumb.png "One-way transformations [as axioms]")
![Ordering of [mathematical] constructs](/nks/notes/notes-12-9--ordering-of-mathematical-constructs/thumb.png "Ordering of [mathematical] constructs")
![Properties [of Diophantine equations]](/nks/notes/notes-12-9--properties-of-diophantine-equations/thumb.png "Properties [of Diophantine equations]")
![Properties [of example multiway systems]](/nks/notes/notes-12-9--properties-of-example-multiway-systems-1/thumb.png "Properties [of example multiway systems]")
![Properties [of example multiway systems]](/nks/notes/notes-12-9--properties-of-example-multiway-systems-2/thumb.png "Properties [of example multiway systems]")
![Properties [of example multiway systems]](/nks/notes/notes-12-9--properties-of-example-multiway-systems-3/thumb.png "Properties [of example multiway systems]")
![Properties [of logical primitives]](/nks/notes/notes-12-9--properties-of-logical-primitives/thumb.png "Properties [of logical primitives]")
![Properties [of operators from axioms]](/nks/notes/notes-12-9--properties-of-operators-from-axioms/thumb.png "Properties [of operators from axioms]")
![Real algebra [and axioms]](/nks/notes/notes-12-9--real-algebra-and-axioms/thumb.png "Real algebra [and axioms]")
![Reducing axiom [system] details](/nks/notes/notes-12-9--reducing-axiom-system-details/thumb.png "Reducing axiom [system] details")
![Rings [and axioms]](/nks/notes/notes-12-9--rings-and-axioms/thumb.png "Rings [and axioms]")
![Rules [for multiway systems examples]](/nks/notes/notes-12-9--rules-for-multiway-systems-examples/thumb.png "Rules [for multiway systems examples]")
![Searching for logic [axioms]](/nks/notes/notes-12-9--searching-for-logic-axioms/thumb.png "Searching for logic [axioms]")
![Semigroups [and axioms]](/nks/notes/notes-12-9--semigroups-and-axioms/thumb.png "Semigroups [and axioms]")
![Set theory [and axioms]](/nks/notes/notes-12-9--set-theory-and-axioms/thumb.png "Set theory [and axioms]")
![Substitution strategies [in proofs]](/nks/notes/notes-12-9--substitution-strategies-in-proofs/thumb.png "Substitution strategies [in proofs]")
![Symbolic systems [and operator systems]](/nks/notes/notes-12-9--symbolic-systems-and-operator-systems/thumb.png "Symbolic systems [and operator systems]")
![[The concept of] infinity](/nks/notes/notes-12-9--the-concept-of-infinity/thumb.png "[The concept of] infinity")
![Theorem distributions [in standard mathematics]](/nks/notes/notes-12-9--theorem-distributions-in-standard-mathematics/thumb.png "Theorem distributions [in standard mathematics]")
![[Theorems about] practical programs](/nks/notes/notes-12-9--theorems-about-practical-programs/thumb.png "[Theorems about] practical programs")
![Truth and falsity [in formal systems]](/nks/notes/notes-12-9--truth-and-falsity-in-formal-systems/thumb.png "Truth and falsity [in formal systems]")
![Two-operator logic [axioms]](/nks/notes/notes-12-9--two-operator-logic-axioms/thumb.png "Two-operator logic [axioms]")
![[Universality of] algebraic axioms](/nks/notes/notes-12-9--universality-of-algebraic-axioms/thumb.png "[Universality of] algebraic axioms")
![[Universality of] predicate logic](/nks/notes/notes-12-9--universality-of-predicate-logic/thumb.png "[Universality of] predicate logic")
![[Universality of] set theory](/nks/notes/notes-12-9--universality-of-set-theory/thumb.png "[Universality of] set theory")
![[Unprovable statements in] reduced arithmetic](/nks/notes/notes-12-9--unprovable-statements-in-reduced-arithmetic/thumb.png "[Unprovable statements in] reduced arithmetic")
![Unsolved problems [in number theory]](/nks/notes/notes-12-9--unsolved-problems-in-number-theory/thumb.png "Unsolved problems [in number theory]")
Algebraic systems [and operator systems]
Comparison to multiway systems
Consistency [in axiom systems]
Encodings of arithmetic [by different operations]
Essential incompleteness [in axiom systems]
[Examples of] unprovable statements
Forcing of operators [by axiom systems]
Generators and relations [and axiom systems]
Groups and semigroups [and operator systems]
History [of concept of mathematics]
[History of] models of mathematics
Implementation [of operators from axioms]
Implementation [of proof example]
Invention versus discovery in mathematics
Large solutions [to Diophantine equations]
[Mathematical] proofs in practice
More powerful axioms [for mathematics]
Multiway systems [and operator systems]
Nearby powers [and integer equations]
Notations [for logical primitives]
One-way transformations [as axioms]
Ordering of [mathematical] constructs
Properties [of Diophantine equations]
Properties [of example multiway systems]
Properties [of example multiway systems]
Properties [of example multiway systems]
Properties [of logical primitives]
Properties [of operators from axioms]
Reducing axiom [system] details
Rules [for multiway systems examples]
Statements in Peano arithmetic
Substitution strategies [in proofs]
Symbolic systems [and operator systems]
Theorem distributions [in standard mathematics]
[Theorems about] practical programs
Truth and falsity [in formal systems]
Universal Diophantine equation
[Universality of] algebraic axioms
[Universality of] predicate logic