五千年(敝帚自珍)

主题:牛顿定律到底说的是什么?(0) -- changshou

共:💬184 🌺758
全看分页树展 · 主题 跟帖
家园 我的表述有误

Zermelo-Fraenkel公理集合论系统可以用于证明结构归纳法,而结构归纳法可以用于构造算术系统。

所以我的表述有误,应该说现代公理集合论是包含着构建算术基础的工作。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河