今北産業pedia

凸多面体の表面の計量が与えられれば、その多面体が一意に定まるという幾何学の定理。

展開図から元の立体が一意に復元できる条件を示しており、凸幾何学の金字塔とされる。

剛性問題や曲面の曲率の研究など、現代幾何学の多くの分野に影響を与えている。

算術を含む公理系において、真であるが証明も反証もできない命題が存在するという定理。

また、系が矛盾していない限り、自身の無矛盾性を系の中で証明できないことも示す。

クルト・ゲーデルが発表し、数学の完全性を信じていた当時の数学界に衝撃を与えた。

一階述語論理において、妥当な（常に真となる）論理式は必ず証明可能であるという定理。

論理的な「真理」と形式的な「証明可能性」が一致することを保証する。

不完全性定理とは対照的に、一階述語論理の枠組みが十分強力であることを示している。

述語論理において、文の集合がモデルを持つための必要十分条件を述べる定理。

集合の任意の有限部分集合がモデルを持つならば、集合全体もモデルを持つ。

超実数の構成や、無限構造の性質を調べるモデル理論の根幹をなす。

腹壁を通る皮神経が筋肉などで圧迫され、腹部に鋭い痛みが生じる疾患。

内臓疾患と誤認されやすく、慢性的な腹痛の原因として見落とされることが多い。

局所麻酔薬の注入による診断的治療が有効であり、ACNESとも呼ばれる。

夕食後の過食や、夜中に目が覚めて食べてしまう行動を繰り返す摂食障害の一種。

朝の食欲不振や不眠を伴うことが多く、本人の意志とは無関係に食行動が制御できなくなる。

ストレスや体内時計の乱れが原因とされ、カウンセリングや薬物療法が行われる。