不完全性定理とはなにか竹内薫 (著) – かたのまさしのブログ

竹内薫 P25 超数学 Google Bardの回答超数学（ちょうすうがく、英: metamathematics）とは、数学自体を研究対象とした数学のこと。超数学という語を最初に用いたのはヒルベルトであり、彼は数学の … 続きを読む不完全性定理とはなにか竹内薫 (著)