ゲーデルの不完全性定理

ゲーデルの不完全性定理(ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz)

第一不完全性定理

第二不完全性定理

確認用

Q. ゲーデルの不完全性定理

メモ

第一不完全性定理の形式化

Lean

第二不完全性定理の形式化

Lean

メモ

ゲーデルの不完全性定理 / 証明不可能性を証明する - YouTube

https://www.youtube.com/watch?v=zFML_YmTCWM

ゲーデルの不完全性定理 (2) / 不完全性定理の証明・前編

https://www.youtube.com/watch?v=0ol8w291oAw

ゲーデルの不完全性定理 (3) / 不完全性定理の証明・後編

https://www.youtube.com/watch?v=b2tgC5t6OPM