1.Previous
3.Next

defined by an indicator function

Then is called a singleton if and only if there is some such that for all

Definition in Principia Mathematica

The following definition was introduced in Principia Mathematica by Whitehead and Russell:
: 'Df.The symbol ' denotes the singleton and denotes the class of objects identical

1.Previous
3.Next