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
The post Henri Poincaré, The logic of infinity: Axiom of reducibility appeared first on SetThings.