This essay demonstrates proof-theoretically the consistency of a type-free theory C with an unrestricted principle of comprehension and based on a predicate logic in which contraction (A → (A → B)) → ...
According to Cantor (Mathematische Annalen 21:545—586, 1883; Cantor's letter to Dedekind, 1899) a set is any multitude which can be thought of as one ("jedes Viele, welches sich als Eines denken läßt" ...
The word Syllogism comes from Greek and means inference or deduction. It refers to drawing conclusions based on given facts or statements. These conclusions are formed using logic. So they are also ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback