Is it possible to reason about objects that can notbe defined in a finite number of words? Is it even possible to talk about it knowing what one is talking about, and by saying something other than empty words? Or … Read More
It is in a totally different direction that Mr. Zermelo is seeking the solution of the difficulties we have pointed out. He tries to establish a system of axioms a priori, which must allow him to establish all the mathematical … Read More
Russell introduces a new axiom which he calls axiom of reducibility. As I’m not sure I fully understood his thought, I will let him speak. “We assume, that every function is équivalent, for ail its value to some predicative function … Read More
Russell published in the American Journal of Mathematics, vol. XXX, under the title Mathematical Logics as Based on the Theory of Types, a memoir in which he relies on considerations quite similar to those which precede. After recalling some of … Read More
We must not forget the preceding considerations when defining the cardinal number. If we consider two collections, we may seek to establish a law of correspondence between the objects of these two collections, so that any object of the first … Read More
