2 lines
50 B
Text
2 lines
50 B
Text
axiom set : ★;
|
|
axiom ∈ : set → set → ★;
|
axiom set : ★;
|
|
axiom ∈ : set → set → ★;
|