不完備定理的考察係統:蘊涵皮亞諾算術公理且自洽的形式係統。
來源:
露重煙微
於
2024-10-26 06:56:00
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次