语言
没有数据
通知
无通知
ゲーデルが証明したゲーデルの完全性定理は、一階述語論理が意味論的完全性の意味で完全であるとする。 同じくゲーデルが証明した有名な不完全性定理は、自然数論についてのある理論が後者の意味では完全ではなく、 完全であるように拡張することも（超越的な操作抜きには）できないことを示した。現在では、不完全性
データ完全性（データかんぜんせい、英: Data integrity）は、情報処理や電気通信の分野で使われる用語であり、データが全て揃っていて欠損や不整合がないことを保証することを意味する。データインテグリティとも。すなわち、各種操作（転送、格納、検索）が行われる際にデータ
(1)必要な条件がすべて満たされていること。 欠点や不足が全くない・こと（さま）。
全体の姿や内容。 全貌。
(1)入れ物などの中に含まれているもの。 中身。
英語版）に相当）。完備順序体は同型の違いを除いて実数体ただ一つである（この完備順序体は、束にはなるが完備束にはならないことに注意）。 完備リーマン多様体（英語版） 完備代数多様体（英語版）: 代数幾何学において代数多様体が完備であるとは、それがある種のコンパクト性に類似の性質を満足することを言う。 完全性
背白米（せじろまい） 先白米 横白米 基白米（もとじろまい） 乳白米（にゅうはくまい） 未熟米 (みじゅくまい) 青米（あおまい） 胴割米（どうわれまい） 茶米（ちゃまい） 焼米（やけまい） 死米（しまい） しいな 不稔米（ふねんまい） 尚、米粒が外観上白濁しているものに関しては、白未熟粒や、不完全登熟粒、白色不透明粒とよばれている。
生成する部分空間が全体空間において稠密であるときその部分集合は完全である。 通常は単なる部分集合に対してそれが完全かどうかを議論するものではなく、直交系など何らかの独立性を満たすベクトルからなる集合（あるいはベクトルの列）に対して完全性を吟味する。完全な線型独立系は「基底」（ヒルベルト基底）と呼ばれる。
搜索 
