圆锥体 发表于 2025-4-1 03:29:18
http://reply.papertrans.cn/63/6276/627506/627506_61.png故意钓到白杨 发表于 2025-4-1 08:25:32
https://doi.org/10.1007/978-3-031-37875-1Gödel Lectures; Gödel Notes; German Mathematicians; Hilbert‘s First and Second Problem; Gödel Incomplete