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
|