display all the ideas for this combination of texts
2 ideas
23891 | Two contradictories force us to find a relation which will correlate them [Plato, by Weil] |
22289 | Dedekind proved definition by recursion, and thus proved the basic laws of arithmetic [Dedekind, by Potter] |