照井一成『数理論理学Ⅱ』
https://www.kurims.kyoto-u.ac.jp/~terui/kistec2018b.pdf
Gödelの不完全性定理
をなるべく手短に証明する
Robinson算術
$ \mathbf{Q}
$ \approx
小学生レベルの数学者 （の証明能力）
Peano算術
$ \mathbf{PA}
$ \approx
中高生レベルの数学者（の証明能力）