3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
18244 | I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind] |
9626 | A structure is an abstraction, focussing on relationships, and ignoring other features [Shapiro] |