Random triples
| Subject | Object |
|---|---|
| gptkb:T3_separation_axiom | For every closed set F and point x not in F, there exist disjoint open sets containing x and F respectively. |
| gptkb:Axiom_schema_of_specification | For any set A and property φ(x), there exists a set B such that x ∈ B if and only if x ∈ A and φ(x) holds. |
| gptkb:axiom_of_empty_set | ∃x ∀y (¬(y ∈ x)) |