display all the ideas for this combination of texts
2 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |