|
gptkb:Béchamel_sauce
|
smooth
|
|
gptkb:Ricotta
|
grainy
|
|
gptkb:kajmak
|
spreadable
|
|
gptkb:Creme_Fraiche
|
creamy
|
|
gptkb:Borel_conjecture
|
consistent with ZFC if ZFC is consistent
|
|
gptkb:semi-solid_foods_(vilepi)
|
semi-solid
|
|
gptkb:Mozzarella
|
Elastic
|
|
gptkb:Lemon_Chicken_Sauce
|
Thick
|
|
gptkb:Birch_syrup
|
Thick
|
|
gptkb:Luzin_set
|
Exists if continuum hypothesis holds
|
|
gptkb:Zermelo–Fraenkel_set_theory_(ZF)
|
cannot be proven within ZF (by Gödel's incompleteness theorems)
|
|
gptkb:Liège_syrup
|
similar to molasses
|
|
gptkb:Zermelo–Fraenkel_Set_Theory
|
undecidable within ZF
|
|
gptkb:Roquefort_cheese
|
crumbly
|
|
gptkb:Ewedu_soup
|
slimy
|
|
gptkb:Luzin_set
|
Existence is independent of ZFC
|
|
gptkb:Measurable_cardinal_axiom
|
cannot be proved in ZFC if ZFC is consistent
|
|
gptkb:Varenye
|
Whole fruit or large pieces in syrup
|
|
gptkb:Mató_cheese
|
creamy
|
|
gptkb:Montasio
|
firm
|