数理逻辑

2022

康托的对角线证明

哥德尔不完备性定理