Tags

added description, how you can compile your project in multiple versions. added latest as additional default version

stated first version of ZFC-Axioms, removed axiom status from derivable theorems reordered Axioms/Theorems to show dependencies better between them