Random triples
Subject | Object |
---|---|
gptkb:super_Reinhardt_cardinal | critical point |
gptkb:super_Reinhardt_cardinal | transitive class |
gptkb:super_Reinhardt_cardinal | elementary embedding |
Subject | Object |
---|---|
gptkb:super_Reinhardt_cardinal | critical point |
gptkb:super_Reinhardt_cardinal | transitive class |
gptkb:super_Reinhardt_cardinal | elementary embedding |