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