１から始める数学

現在２０２２年１２月１５日１１時２６分である。麻友「もうちょっと、第Ⅲ章を、見せてよ」私「もちろん、そのつもりだ」 親切 第一不完全性定理 親切 若菜「１＋１が、２だ。ということにも、証明が付いてるとか」私「その話を、しよう。まず、昨日の公理。 ４ の固有公理 の固有公理は次のとおりである。 を の任意の論…