加载中…
2018-07-28
Axioms for the Real Numbers: A Constructive Approach
Jean S. Joseph
文献摘要
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本