6 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] |
16771 | A composite is a true unity if all of its parts fall under one essence [Scheibler] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |