display all the ideas for this combination of texts
2 ideas
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
11041 | Some quantities are discrete, like number, and others continuous, like lines, time and space [Aristotle] |