Соединение литвы с польшей

Члены элементарных пропозиций мы будем называть индивидами; они образуют первый, или низший, тип.

На практике не обязательно знать, какие объекты принадлежат низшему типу; не обязательно даже знать, является ли низший тип переменных, встречающихся в данном контексте, типом индивидов или же каким-то другим. Ибо на практике имеют значение только относительные типы переменных; поэтому низший тип, встречающийся в данном контексте, может быть назван типом индивидов постольку, поскольку рассматривается этот контекст. Отсюда следует, что приведенное выше рассмотрение индивидов не существенно для истинности того, что идет далее; существен только способ, которым из индивидов производятся другие типы. Тем не менее тип индивидов можно образовать.