-------------------------------------------------------------------------------
Axioms (115 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
COL001=TRC          (1) Type-respecting combinators
EQU001=Equality     (1) Reflexivity, symmetry and transitivity, of equality
FIE001=Semantic     (1) Ordered field axioms.
FIE002=Semantic     (1) Ordered field axioms.
FIE003=Semantic     (1) Ordered field axioms.
FIE004=Semantic     (1) Ordered field axioms.
FIE005=Semantic     (1) Ordered field axioms.
FIE006=Semantic     (1) Ordered field axioms.
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     (3) 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
LCL003=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
