Исходные понятия математической логики

1. Имена предметов.

1, 2, 2/3, 4/2, е (как обозначение числа е), 5-3.

Здесь 2 и 5-3  - имена одного и того же предмета.

2. Именная форма.

Именной формой называется выражение (комбинация знаков), содержащее знаки переменных, которое превращается в имя предмета, если вместо переменных (свободных переменных) поставить надлежащим образом выбранные имена предметов (частные значения).

Экзистенции — миры, идеально различающиеся до взаимодействия между собой.

Между экзистенциями, надо полагать, ничто, свободное место для инструментов жизни и их вечных игр :)