补档无名氏No.58286777 返回主串
2023-06-25(日)07:38:24 ID:BzHFIfd 回应
数理逻辑需要用的集合的概念，数字的概念。
而集合构造数字的时候又需要用到数理逻辑的概念。
这不是很矛盾吗？谁先谁后呢？数学的基础到底是什么？
无标题无名氏No.58286780
2023-06-25(日)07:39:01 ID: BzHFIfd (PO主)
数理逻辑需要用的集合的概念，数字的概念。
而集合构造数字的时候又需要用到数理逻辑的概念。
这不是很矛盾吗？谁先谁后呢？数学的基础到底是什么？
>>No.45315243
对角线证明：（喜）
无标题无名氏No.58286782
2023-06-25(日)07:39:39 ID: BzHFIfd (PO主)
定义一阶逻辑的语法和演绎规则并不依赖于集合论，而是用递归定义的方式。而集合论一般被定义成一阶逻辑下的一个理论。当然，如果涉及到一阶逻辑语义层面的讨论就会有套娃问题，这时候会区分元语言和对象语言。比如在用格罗滕迪克宇宙讨论ZFC的模型时，这里格罗滕迪克宇宙是元语言层面的东西，ZFC是对象语言，二者处于不同的两个层级互不干涉。
无标题无名氏No.58286786
2023-06-25(日)07:40:03 ID: BzHFIfd (PO主)
>>45296674
(ﾉ)`ω´(ヾ)好吧我也看不懂
我昨天又搜了一下，好像有个叫 tarski 真值定义的东西。然鹅并不能看懂(;´Д`)
这是网址
plato.stanford.edu/entries/tarrski-truth
无标题无名氏No.58286790
2023-06-25(日)07:40:37 ID: BzHFIfd (PO主)
>>No.45340850
我不懂，但是我有要诀要告诉你(ゝ∀･)
不要幻想出一个至高对象然后用至高者推出他者，不断后撤背景性秩序只会滑向至高
我觉得应该直接制定一个背景，先不要质疑它
无标题无名氏No.58286793
2023-06-25(日)07:41:11 ID: BzHFIfd (PO主)
我觉得背景性是一个不能被提取为对象的存在
，比如说宇宙，你不能说宇宙之外是什么，因为宇宙之外也可以是宇宙，只能说地球之外是宇宙（地球也在宇宙中|д` )），是否定性的
至高就是假如有个自上而下的理论，比如说什么终极大一统理论，能推出一切理论
或者什么华哥这种( ﾟ 3ﾟ)
无标题无名氏No.58286800
2023-06-25(日)07:41:42 ID: BzHFIfd (PO主)
用hilbert system把命题展开成有限个符号的组合( ﾟωﾟ)这样就不用去管他先后了