-----------------------------------------------------------------------
Axioms (107 sets)
---------------------------------------------------
ALG001=GodelAlg1      (2) Abstract algebra axioms, based on Godel set theory
ANA001=Limits1        (2) Analysis (limits) axioms for continuous functions
ANA002=Limits2        (2) Analysis (limits) axioms for continuous functions
BOO001=B3Alg          (1) Ternary Boolean algebra (equality) axioms
BOO002=BoolAlg1       (2) Boolean algebra axioms
BOO003=EqBoolAlg1     (1) Boolean algebra (equality) axioms
BOO004=EqBoolAlg2     (1) Boolean algebra (equality) axioms
CAT001=Catgry1        (2) Category theory axioms
CAT002=EqCatgry1      (1) Category theory (equality) axioms
CAT003=Catgry2        (2) Category theory axioms
CAT004=Catgry3        (2) Category theory axioms
CID001=Logic          (2) Definitions of AND, OR and NOT
CID002=Logic          (1) Definitions of AND, OR and NOT
EQU001=Equality       (1) Reflexivity, symmetry and transitivity, of equality
GEO001=Tarski1        (4) Tarski geometry axioms
GEO002=Tarski2        (8) Tarski geometry axioms
GEO003=Hilbert1       (2) Hilbert geometry axioms
GRP001=Monoids1       (1) Monoid axioms
GRP002=SemiGr1        (2) Semigroup axioms
GRP003=Group1         (6) Group theory axioms
GRP004=EqGroup1       (2) Group theory (equality) axioms
GRP005=Group2         (1) Group theory axioms
GRP006=NamedGr1       (2) Group theory (named groups) axioms
HEN001=Henkin1        (2) Henkin model axioms
HEN002=Henkin2        (2) Henkin model axioms
HEN003=EqHenkin       (1) Henkin model (equality) axioms
LAT001=EqLatt1        (3) Lattice theory (equality) axioms
LAT002=Latt1          (2) Lattice theory axioms
LCL001=WjAlg1         (3) Wajsberg algebra axioms
LCL002=WjAlg2         (2) Alternative Wajsberg algebra axioms
LCL001=PropLog        (1) Propositional logic deduction axioms
LDA001=EmbdgAlg       (1) Embedding algebra axioms
NUM001=RecFunc1       (3) Number theory axioms
NUM002=AddAlg         (1) Number theory (equality) axioms
NUM003=GodelNum1      (2) Number theory axioms, based on Godel set theory
NUM004=Ordinals       (2) Number theory (ordinals) axioms, based on NBG set theory
PLA001=Blocks1        (2) Blocks world axioms
PRV001=ProgVer1       (2) Program verification axioms
PRV002=ProgVer2       (2) Program verification axioms
PUZ001=MarsVns        (2) Mars and Venus axioms
PUZ002=TTLiars1       (1) Truthtellers and Liars axioms for two types of people
PUZ003=TTLiars2       (1) Truthtellers and Liars axioms for three types of people
RNG001=Rings1         (2) Ring theory axioms
RNG002=EqRings1       (1) Ring theory (equality) axioms
RNG003=AltRing1       (1) Alternative ring theory (equality) axioms
RNG004=AltRing2       (1) Alternative ring theory (equality) axioms
RNG005=EqRings2       (1) Ring theory (equality) axioms
ROB001=Robbins1       (2) Robbins algebra axioms
SET001=Naive1         (4) Set theory membership and subsets axioms
SET002=Naive2         (2) Set theory axioms
SET003=GodelSet1      (2) Set theory axioms based on Godel set theory
SET004=NBG1           (4) Set theory axioms based on NBG set theory
SYN001=RPT63          (1) Synthetic domain theory for EBL
TOP001=Topology       (1) Point-set topology axioms
