axiom
definition
- sttfa:axiom__infinity/type_0.def
- sttfa:axiom__infinity/type_1.def
- sttfa:axiom__infinity/type_2.def
- sttfa:axiom__infinity/type_3.def
- sttfa:axiom__infinity/type_4.def
- sttfa:axiom__infinity/term_0.def
- sttfa:axiom__infinity/type_5.def
- sttfa:axiom__infinity/type_6.def
- sttfa:axiom__infinity/term_1.def
- sttfa:axiom__infinity/Function_2Einjective.def
- sttfa:axiom__infinity/term_2.def
- sttfa:axiom__infinity/term_3.def
- sttfa:axiom__infinity/term_4.def
- sttfa:axiom__infinity/term_5.def
- sttfa:axiom__infinity/term_6.def
- sttfa:axiom__infinity/Function_2Esurjective.def
- sttfa:axiom__infinity/term_7.def
- sttfa:axiom__infinity/term_8.def
- sttfa:axiom__infinity/term_9.def
- sttfa:axiom__infinity/term_10.def
- sttfa:axiom__infinity/term_11.def
- sttfa:axiom__infinity/term_12.def