数理論理学（数学基礎論）　その12

数理論理学（数学基礎論）　その12 at MATH

数理論理学（数学基礎論）　その12 - 暇つぶし2ch487:１３２人目の素数さん
18/01/03 16:27:11.67 uE/iZX7j.net
完全性定理の証明に選択公理使うからな。それ以前に自然数論は構文論にすら
使ってるからな。公理図式自体が可算個の記号集合を走る変数を含む記号列だし。