血忌日
天火日
地火日
五行説
ニコラ＝ジョゼフ・キュニョー
功績.
キュニョーの開発した大型運搬車は、世界で初めて「自らの動力で、トラクション（摩擦を利用した推進力）で動き、人を乗せ、人が操縦（運転）できる車両」を実現した。そのため、キュニョーは世界初の自動車（モータービークル）を設計開発した人物とされ、現代の自動車の先駆者であると認められている。
生涯.
前半生.
キュニョーはロレーヌ公国で生まれ、ブリュッセルで学び、オーストリアの軍隊に属してウィーンやブリュッセルで軍事技術者として働いた。
生まれ.
技術者としての研鑽.
キュニョーは、オーストリア領ネーデルラント（現在のベルギー）のブリュッセルで軍事技術者としての教育を受けた。
大砲キャリア（砲車）のプロジェクト.
晩年.
評価.
キュニョーが蒸気動力による車両を可能にできた背景には以下の要因がある。
フランス王国のあらゆるイベントと同様、このプロジェクトも軍の史実の記録係（軍史官）が克明に記録をとっていたが、キュニョーの技術はその後のフランス軍には生かされなかった。ショワズールの失脚、フランス革命の荒波に加え、以降のフランス軍ではキュニョーの技術は奇妙なものとされ、後継者を育てなかった。当時の軍事技術者の大多数が時期尚早の技術と見ていたためであった。
記念像・記念碑.
キュニョーにちなむ事物.
ゲーデルの不完全性定理
概要.
なお「有限の立場」とは、数学の形式主義における「記号の有限的な操作のみから構成される」立場を指す。
注意
証明の概要.
準備.
帰納的公理化可能な理論が自然数論を含むならば、当該理論における証明可能性が原始帰納的述語として表現できる。この証明可能性述語を用いて、「は証明できない」と同値となる証明不能命題（ゲーデル文）が構成できる。ゲーデル文を構成するためには自然数論の式を自然数に変換するゲーデル数および自己言及で用いられる対角化の技法（を形式化したもの）が必要である。後者は対角化補題と呼ばれる。
自然数を変数とする述語「は…である」の対角化は、上記の述語のに「は…である」自身のゲーデル数を代入した命題である。その意味は
となる。ゲーデル文は
と表される。「で表される述語の対角化は証明できない」の対角化は、自身と同値になる。
第一不完全性定理の証明の概要.
したがって、対偶を取れば