isProperClass

URI: https://gptkb.org/prop/isProperClass
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Ord_(mathematics) true
gptkb:Surreal_numbers true
gptkb:Gödel's_constructible_universe true