4 ideas
7726 | Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
21058 | Enlightenment requires the free use of reason in the public realm [Kant] |