ゲーデルの不完全性定理

3行要約

1. 算術を含む公理系において、真であるが証明も反証もできない命題が存在するという定理。
2. また、系が矛盾していない限り、自身の無矛盾性を系の中で証明できないことも示す。
3. クルト・ゲーデルが発表し、数学の完全性を信じていた当時の数学界に衝撃を与えた。