A simple list of axioms corresponding to single-axiomatic systems

single-axiom-systems.txt

# Wolfram Axiom
- {\!\(\*SubscriptBox[\(\[ForAll]\), \({\[FormalA], \[FormalB], \[FormalC]}\)]\(\((\((\[FormalB]\[CenterDot]\[FormalC])\)\[CenterDot]\[FormalA])\)\[CenterDot]\((\[FormalB]\[CenterDot]\((\((\[FormalB]\[CenterDot]\[FormalA])\)\[CenterDot]\[FormalB])\))\) == \[FormalA]\)\)}
# Subtract and branch if less than or equal to zero
- subleq a, b, c ; Mem[b] = Mem[b] - Mem[a] - if (Mem[b] ≤ 0) goto c
# Universal Iota combinator
- {\displaystyle \iota :=\lambda f.((fS)K)}