axiom schema of unrestricted comprehension
Press Enter · cited answer in seconds
0 sources
axiom schema of unrestricted comprehension
Summary
axiom schema of unrestricted comprehension is an axiom schema[1].
Key Facts
- axiom schema of unrestricted comprehension's instance of is recorded as axiom schema[2].
- axiom schema of unrestricted comprehension's subclass of is recorded as axiom[3].
- axiom schema of unrestricted comprehension's different from is recorded as axiom schema of specification[4].
- axiom schema of unrestricted comprehension's maintained by WikiProject is recorded as WikiProject Mathematics[5].