2022年1月2日

摘要： 哥德尔证明 Q: 不完全性表达为（）不能推出（）。 这里的$\models$是“朴素认为的真理”，并不是标准模型中的。直观确实直观，但是要说清楚要费工夫（这是直观模型，不是形式化的） 哥德尔证明需要构造出（）中为真的某个$\mathscr U$ A: \(\models \mathscr A\)，\ 阅读全文

摘要： 5 数学基础 5.4 一阶算术 Q: 如何理解“算术化”和$\mathbb H\Rightarrow \mathbb C\Rightarrow \mathbb R\Rightarrow \mathbb Q\Rightarrow \mathbb Z\Rightarrow \mathbb N$？ A: 阅读全文