Contrary Statements About Mathematics |
| |
Authors: | Lane Saunders Mac |
| |
Affiliation: | Department of Mathematics, The University of Chicago Chicago, IL 60637-1546, USA |
| |
Abstract: | The preceding paper Strong statements of analysisby A. R. D. Mathias defends a so-called full-blooded set theorywithout full detail [3]. He again objects to a weak set theorywhich he calls Mac, in which the usual ZermeloFraenkelseparation scheme is required only for formulas with suitablyrestricted quantifiers. I had proposed that suchseparation is adequate for all standard uses of set theory inmathematics. But Mathias has not produced any counter examplesof actual mathematics which requires the use of a stronger separation. |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|