Premium
Contrary Statements About Mathematics
Author(s) -
Lane Saunders Mac
Publication year - 2000
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/s0024609300227033
Subject(s) - mathematics , separation (statistics) , set (abstract data type) , scheme (mathematics) , set theory , calculus (dental) , discrete mathematics , computer science , mathematical analysis , statistics , medicine , dentistry , programming language
The preceding paper ‘Strong statements of analysis’ by A. R. D. Mathias defends a so‐called full‐blooded set theory without full detail [ 3 ]. He again objects to a weak set theory which he calls ‘Mac’, in which the usual Zermelo–Fraenkel separation scheme is required only for formulas with suitably ‘restricted’ quantifiers. I had proposed that such separation is adequate for all standard uses of set theory in mathematics. But Mathias has not produced any counter examples of actual mathematics which requires the use of a stronger separation.