1 . Gödelの completeness 定理
・一階述語論理の論理式は　恒真式ならば証明可能
2. Gödelの incompleteness 定理
・ある条件を持つ理論には　肯定も否定も証明不可能な命題が存在
3. 実数がcomplete
・順序体として　その中に上界を持つ空でない部分集合は上限を持つ
・距離空間として　任意のコーシー列が収束

1.2.は「完全」、3.は「完備」。