图灵在博士论文中提出“顺序逻辑”（Ordinal Logic），试图解决哥德尔不完备定理所带来的限制：任何一致的形式系统 S，都无法在系统内部证明自己的⼀致性（如 Con(S)）。🧵👇 #全文：