3 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |