consistency strength

URI: https://gptkb.org/prop/consistency_strength
1 triples
GPTKB property
Random triples
Subject Object
gptkb:super_Reinhardt_cardinal greater than Reinhardt cardinal