Peano 一阶算术代数化，进而几何化，哥德尔不完备定理怎么表述为几何语言，或几何化？其证明呢？Tarski定理呢？
哥德尔不完备定理和Tarski定理怎么表述为几何语言
-
forecasting楼主
- 等级12：著名点评
- 帖子互动： 599
- 帖子： 7262
- 注册时间： 2023年 4月 17日 08:26
-
forecasting楼主
- 等级12：著名点评
- 帖子互动： 599
- 帖子： 7262
- 注册时间： 2023年 4月 17日 08:26
-
快捷链接
- 查看没有回复的主题
- 查看活跃的主题
- 搜索
- 热门版面
- ↳ 军事天地（Military）
- ↳ 美国新闻（USA News）
- ↳ 书歌影视美食游
- ↳ 书歌影视美食游 - 精华区
- ↳ 干就完了
- ↳ 股海弄潮（Stock）
- ↳ 股海弄潮精华区
- ↳ 肚皮舞运动（Joke）
- ↳ 肚皮舞运动精华区
- 新闻中心
- ↳ 史海钩沉（History）
- ↳ 美国时政（US Current Affairs）
- ↳ 美国时政精华区
- ↳ 台海风云（Taiwan Strait）
- ↳ 台海风云精华区
- ↳ 捕风捉影（Plausible）
- ↳ 中国新闻（China News）
- 海外生活
- ↳ 车轮上的传奇（Automobile）
- ↳ 子女教育
- ↳ 子女教育 - 精华区
- ↳ 电脑手机（IT）
- ↳ 电脑手机 - 精华区
- ↳ 家居生活（Living）
- ↳ 家居生活 - 精华区
- ↳ 加州华人
- ↳ 二手市场（FleaMarket）
- ↳ 手机计划（Cellular Plan）
- ↳ 投资理财退税（Money）
- ↳ 医疗与健康
- 体育健身
- ↳ 滚吧，足球！（Soccer ）
- ↳ 枪械射击（Guns & Gear）
- ↳ 网球（Tennis）
- ↳ 奥运和综合体育
- ↳ 篮球（Basketball）
- ↳ 羽毛球（Badminton）
- 休闲娱乐
- ↳ 摄影器材（Photo gears）
- ↳ 网络文学
- ↳ 花鸟鱼虫
- ↳ 新未名博客（Blog）
- 学术与职场
- ↳ STEM
- ↳ STEM精华区
- ↳ 生物医学和制药（Biomedical & Pharmaceutical）
- ↳ 葵花宝典（Programming）
- ↳ 职场讨论与绿卡移民
- ↳ 前沿科技（Frontier）
- ↳ 统计与数据科学（Statistics & DataScience）
- 情感杂想
- ↳ 人到中年（Midlife）
- ↳ 信仰天地（Belief）
- ↳ 海外鹊桥（Chinese Dating）
- ↳ 老贴回顾
- 站务管理
- ↳ 意见与建议
- ↳ 申请新版块或版主
- ↳ 论坛使用交流
- ↳ 账号管理
- ↳ 版主专区
- ↳ 功能测试
- ↳ 广告与招聘
- FAQ
- 登录
- 注册
- 论坛首页
- 所有显示的时间为 UTC-04:00
- 删除 cookies
- 联系我们
由 phpBB® Forum Software © phpBB Limited 提供支持
简体中文语言由 phpBB Chinese 制作并提供支持
Powered by
Time: 0.014s | Peak Memory Usage: 1.4 MiB | GZIP: Off