|
gptkb:Creme_Fraiche
|
creamy
|
|
gptkb:Mozzarella
|
Elastic
|
|
gptkb:Mundaka_wave
|
variable
|
|
gptkb:Borel_conjecture
|
consistent with ZFC if ZFC is consistent
|
|
gptkb:Mató_cheese
|
creamy
|
|
gptkb:Birch_syrup
|
Thick
|
|
gptkb:Zermelo–Fraenkel_set_theory_(ZF)
|
cannot be proven within ZF (by Gödel's incompleteness theorems)
|
|
gptkb:Ricotta
|
grainy
|
|
gptkb:Montasio
|
firm
|
|
gptkb:Measurable_cardinal_axiom
|
cannot be proved in ZFC if ZFC is consistent
|
|
gptkb:kajmak
|
spreadable
|
|
gptkb:Lemon_Chicken_Sauce
|
Thick
|
|
gptkb:Varenye
|
Whole fruit or large pieces in syrup
|
|
gptkb:semi-solid_foods_(vilepi)
|
semi-solid
|
|
gptkb:Liège_syrup
|
similar to molasses
|
|
gptkb:Jónsson_cardinal
|
It is consistent with ZFC that there are no Jónsson cardinals.
|
|
gptkb:Agave_nectar
|
Syrupy
|
|
gptkb:Ewedu_soup
|
slimy
|
|
gptkb:Zermelo–Fraenkel_Set_Theory
|
undecidable within ZF
|
|
gptkb:ZF_set_theory
|
undecidable within ZF
|