3 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
16755 | The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau] |
13166 | Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu] |