不完備定理的考察係統:蘊涵皮亞諾算術公理且自洽的形式係統。

來源: 2024-10-26 06:56:00 [舊帖] [給我悄悄話] 本文已被閱讀: