consistentRelativeTo

URI: https://gptkb.org/prop/consistentRelativeTo
3 triples
GPTKB property
Random triples
Subject Object
gptkb:NFU_(New_Foundations_with_Urelements) gptkb:Peano_arithmetic
gptkb:Axiom_of_determinacy gptkb:large_cardinal_axioms
gptkb:Projective_Determinacy gptkb:Large_Cardinal_Axioms