Diskuse:Varieta algeber

Upravit

Přidal jsem dnes šablonu {Upravit} se seznamem nedodělků, protože se k jejich odstranění asi nedostanu dříve, než zreviduju články Model, Teorie modelů, Formální teorie apod.: tam se definuje "term". Nejsem si jistý, ale asi bude efektivní nejdřív definovat term v modelech a až pak dořešit podobu tohoto článku (zda má pojem "term" definovat, nebo se odkázat na teorii modelů). --Pavel Jelínek 16. 9. 2010, 17:44 (UTC)