Foundations of Point Set Theory.
نویسندگان
چکیده
منابع مشابه
Quine’s set theory “New Foundations” is consistent
9/26/2017 Two very small edits after reading through the entire document. Made these version notes tiny. 6/14/2017 Tidied up the description of the inductive argument for coincidence of notions of symmetry. X is an element not a subset of P(clan[A]) in that argument. 6/10/2017 corrected the application of the induction in the extension property proof to the better form in the last submitted ver...
متن کاملLogical Foundations for Operational Set Theory
1: Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2: Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3: The Classical Sequent Calculus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملA constructive theory of point-set nearness
An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.
متن کاملFuzzy Set Theory and Philosophical Foundations of Medicine
Dealing with notions of health, illness and disease contains dealing with fuzziness. As the paper will demonstrate, states of these notions do not only exist or not exist. The medical philosopher and physician SadeghZadeh introduced the notions of fuzzy health, fuzzy illness and fuzzy disease. A closer look will be taken on the concept of fuzzy disease. Because there are different possibilities...
متن کاملSecond Order Logic, Set Theory and Foundations of Mathematics
The question, whether second order logic is a better foundation for mathematics than set theory, is addressed. The main difference between second order logic and set theory is that set theory builds up a transfinite cumulative hierarchy while second order logic stays within one application of the power sets. It is argued that in many ways this difference is illusory. More importantly, it is arg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The American Mathematical Monthly
سال: 1933
ISSN: 0002-9890
DOI: 10.2307/2300943