完全性定理かんぜんせいていり<かん'ぜん'せい>・てい'り7

Math.Gödel’scher Vollständigkeitssatznach dem österr. Mathematiker Kurt Gödel