语言
没有数据
通知
无通知
ゲーデルが証明したゲーデルの完全性定理は、一階述語論理が意味論的完全性の意味で完全であるとする。 同じくゲーデルが証明した有名な不完全性定理は、自然数論についてのある理論が後者の意味では完全ではなく、 完全であるように拡張することも（超越的な操作抜きには）できないことを示した。現在では、不完全性
一階の偏微分方程式（PDE）に対する特性曲線法では、それが常微分方程式（ODE）となるようなある曲線（特性曲線あるいは単に特性線と呼ばれる）を探すことになる。そのようなODEが見つかれば、特性曲線に沿って解いた後に元のPDEに対して解を変換すれば良いことになる。 ここで、二つの独立変数
データ完全性（データかんぜんせい、英: Data integrity）は、情報処理や電気通信の分野で使われる用語であり、データが全て揃っていて欠損や不整合がないことを保証することを意味する。データインテグリティとも。すなわち、各種操作（転送、格納、検索）が行われる際にデータ
検査特性曲線(OC曲線、Operating Characteristic curve)とは、製品の抜き取り検査を行う際に、ロット中の不良品の割合（不良率、不適合率）とロット合格率の関係を表したグラフである。 抜き取り検査の条件を設計する際などに利用される。 抜き取り検査
(1)必要な条件がすべて満たされていること。 欠点や不足が全くない・こと（さま）。
X線光電子分光ではMgKα線 (1253.6 eV) やAlKα線 (1486.6 eV)、X線回折ではCuKα線 (8.048 keV) やMoKα線 (17.5 keV) などを用いる。 内殻電子の励起源としてX線を用いたときに発生する特性X線は、蛍光X線
あるものに特別に備わっている性質。 特有の性質。 特質。
英語版）に相当）。完備順序体は同型の違いを除いて実数体ただ一つである（この完備順序体は、束にはなるが完備束にはならないことに注意）。 完備リーマン多様体（英語版） 完備代数多様体（英語版）: 代数幾何学において代数多様体が完備であるとは、それがある種のコンパクト性に類似の性質を満足することを言う。 完全性
搜索 
