Набор чайных ложек "Новинка", 6 предметов

Например, функции чайная ложка (х) соответствует класс индивидов, удовлетворяющих данную функцию (т.е. при заполнении аргументного места, делающих соответствующее высказывание истинным) и являющихся чайными ложками. Принцип интуитивной абстракции позволяет образовывать классы с любым набором индивидов. Причем при неограниченном применении этого принципа в качестве индивидов могут выступать и сами классы (т.е. они сами могут рассматриваться как заполняющие аргументные места соответствующих функций). Например, функции класс предметов (х) будет соответствовать класс всех классов любых предметов. При таком подходе некоторые классы могут содержать только индивиды, а некоторые и индивиды, и классы, рассматриваемые в качестве индивидов. Среди последних особый интерес представляют классы, содержащие себя в качестве собственных элементов. Например, класс чайных ложек сам чайной ложкой не является, он состоит только из индивидов, а класс всех предметов, не являющихся чайными ложками, сам не будет являться чайной ложкой и, следовательно, будет являться членом самого себя ...»