Henri Poincaré, The logic of infinity: The memory of Mr. Zermelo
| |

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

Henri Poincaré, The logic of infinity: Axiom of reducibility
| |

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