#数学化证明

𝙩𝙮≃𝙛{𝕩}^A𝕀²·ℙarad𝕚g𝕞

3天前

自然语言的社会解释性是其功用本质所在，形式语言根植于自然语言，我们企图将我们生存确定性追求的形式化来消解解释性的必要，逻辑哲学如是，数学化证明更是这种消解的极致。

#自然语言 #社会解释性 #形式语言 #逻辑哲学 #数学化证明