出典：デジタル大辞泉（小学館）

• ゲーデルのふかんぜんせいていり【ゲーデルの不完全性定理】

  1931年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定理と、公理系自身の無矛盾性を公理系内で証明することができないという第二不完全性定理がある。

goo辞書とは

goo辞書は無料で使える辞書・辞典の検索サービスです。1999年にポータルサイト初の辞書サービスとして提供を開始しました。出版社による信頼性の高い語学辞典（国語辞書、英和辞書、和英辞書、類語辞書、四字熟語、漢字など）と多種多様な専門用語集を配信しています。すべての辞書をまとめて検索する「横断検索」と特定の辞書を検索する「個別検索」が可能です。国語辞書ではニュース記事や青空文庫での言葉の使用例が確認でき、使い方が分からない時に便利です。