display all the ideas for this combination of texts
2 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |