Kurt Gödel byl matematik rakouského původu, jeden z nejvýznamějších logiků všech dob.( Wikipedia )
Databáze citátů, internetová sbírka citátů.
Formule ϕ je pravdivá v teorii T, platí-li v každém modelu v teorie T.Kurt Gödel #26669 Gödelova věta o úplnosti
