Nezávislé tvrzení: Porovnání verzí
Smazaný obsah Přidaný obsah
m wkf |
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap |
||
Řádek 8:
Teorie neomezených [[Lineární uspořádání|lineárních uspořádání]] není úplná, protože obsahuje nezávislé tvrzení
:::<math>\forall a \forall b \exist x: a \precneqq x \
Příkladem modelu, v němž toto tvrzení platí, jsou racionální čísla; neplatí však v celých číslech.
|