generated at
『数学ガール 3 ゲーデルの不完全性定理』


#数学ガール

結城浩

/mrsekut-book-4797352965

スクボを使う以前に1度読んだが、メモが何も残ってないので再読するmrsekut
初めて読んだときの動機はtcfmだったと思う

1

2
ペアノの公理
ここでの自然数は1以上として扱う
ペアノ算術(PA)

3
集合
外延的定義
内法的定義
ラッセルのパラドックス
全単射

4
極限

5
6

7章
対角線論法



#スクボ読書化した本