consistency

27 triples
GPTKB property

Random triples
Subject Object
gptkb:Roquefort_cheese crumbly
gptkb:Creme_Fraiche creamy
gptkb:Zermelo–Fraenkel_set_theory_(ZF) cannot be proven within ZF (by Gödel's incompleteness theorems)
gptkb:Birch_syrup Thick
gptkb:Lemon_Chicken_Sauce Thick
gptkb:kajmak spreadable
gptkb:Mató_cheese creamy
gptkb:Luzin_set Exists if continuum hypothesis holds
gptkb:Ewedu_soup slimy
gptkb:ZF_set_theory undecidable within ZF
gptkb:Agave_nectar Syrupy
gptkb:Jónsson_cardinal It is consistent with ZFC that there are no Jónsson cardinals.
gptkb:Luzin_set Existence is independent of ZFC
gptkb:Montasio firm
gptkb:Mundaka_wave variable
gptkb:Birch_syrup Viscous
gptkb:Ricotta grainy
gptkb:Measurable_cardinal_axiom cannot be proved in ZFC if ZFC is consistent
gptkb:Liège_syrup similar to molasses
gptkb:Zermelo–Fraenkel_Set_Theory undecidable within ZF