7 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
1757 | The Electra: she knows this man, but not that he is her brother [Eucleides, by Diog. Laertius] |
3028 | The chief good is unity, sometimes seen as prudence, or God, or intellect [Eucleides] |