| Property | Value |
|---|
| rdf:type | |
| rdfs:label | - Axiom schema of specification
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| skos:prefLabel | - Axiom schema of specification
|
| skos:altLabel | - specification
- Separation
- comprehension
- Specification
- Axiom Schema of Specification
- Axiom of Separation
- Axiom_schema_of_specification
- axiom of comprehension
- axiom of unrestricted comprehension
- axiom schema of comprehension
- axiom schema of separation
- axiom schema of specification
- axiom schema of unrestricted comprehension
- restricted comprehension
- separation axiom schema
- unrestricted comprehension
- Axiom schema of specification#Unrestricted comprehension
|