more from this thinker | more from this text
Full Idea
A classic reduction is the class of ordered pairs <x,y> being reduced to the class of sets of the form {{x},{x,y}}.
Gist of Idea
The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}}
Source
Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
Book Ref
Dummett,Michael: 'Frege Philosophy of Language' [Duckworth 1981], p.477
18098 | Cantor proved that all sets have more subsets than they have members [Cantor, by Bostock] |
13444 | Cantor's Theorem: for any set x, its power set P(x) has more members than x [Cantor, by Hart,WD] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |