|
gptkb:Luzin_set
|
Existence is independent of ZFC
|
|
gptkb:Varenye
|
Whole fruit or large pieces in syrup
|
|
gptkb:Birch_syrup
|
Thick
|
|
gptkb:Montasio
|
firm
|
|
gptkb:Birch_syrup
|
Viscous
|
|
gptkb:Borel_conjecture
|
consistent with ZFC if ZFC is consistent
|
|
gptkb:Agave_nectar
|
Syrupy
|
|
gptkb:Measurable_cardinal_axiom
|
cannot be proved in ZFC if ZFC is consistent
|
|
gptkb:Jónsson_cardinal
|
It is consistent with ZFC that there are no Jónsson cardinals.
|
|
gptkb:Liège_syrup
|
similar to molasses
|
|
gptkb:Creme_Fraiche
|
creamy
|
|
gptkb:kajmak
|
spreadable
|
|
gptkb:breakfast
|
soupy
|
|
gptkb:Mató_cheese
|
creamy
|
|
gptkb:ZF_set_theory
|
undecidable within ZF
|
|
gptkb:breakfast
|
thick
|
|
gptkb:Zermelo–Fraenkel_set_theory_(ZF)
|
cannot be proven within ZF (by Gödel's incompleteness theorems)
|
|
gptkb:Roquefort_cheese
|
crumbly
|
|
gptkb:Zermelo–Fraenkel_Set_Theory
|
undecidable within ZF
|
|
gptkb:Lemon_Chicken_Sauce
|
Thick
|