consistency

25 triples
GPTKB property

Random triples
Subject Object
gptkb:Creme_Fraiche creamy
gptkb:Varenye Whole fruit or large pieces in syrup
gptkb:Zermelo–Fraenkel_set_theory_(ZF) cannot be proven within ZF (by Gödel's incompleteness theorems)
gptkb:Luzin_set Exists if continuum hypothesis holds
gptkb:Mozzarella Elastic
gptkb:Luzin_set Existence is independent of ZFC
gptkb:Ricotta grainy
gptkb:kajmak spreadable
gptkb:Measurable_cardinal_axiom cannot be proved in ZFC if ZFC is consistent
gptkb:Mundaka_wave variable
gptkb:Ewedu_soup slimy
gptkb:Béchamel_sauce smooth
gptkb:Liège_syrup similar to molasses
gptkb:Borel_conjecture consistent with ZFC if ZFC is consistent
gptkb:semi-solid_foods_(vilepi) semi-solid
gptkb:Roquefort_cheese crumbly
gptkb:Montasio firm
gptkb:Birch_syrup Viscous
gptkb:ZF_set_theory undecidable within ZF
gptkb:Jónsson_cardinal It is consistent with ZFC that there are no Jónsson cardinals.

Please wait…