Но как это связано с предыдущим утверждением?

ПритомХайдук wrote:
Предикат есть знакосочетание. являющееся соотношением.
Т.е логика "второго порядка" есть логика для соотношений. Не вижу в ней особого смысла

Хайдук wrote: А вот это особый вопрос, и мне Ваша трактовка представляется неверной

Есть коллективизирующие соотношения, которые порождают множества.
Есть аксиома отбора, которая позволяет отобрать и различить элементы (не путать с аксиомой выбора)

Свойство есть просто соотношение. Является ли оно коллективизирующим, заранее неизвестно.
Это особый тип соотношения, подмножество соотношений теории.

мне кажется, что множества должно можно образовывать at will, силою воли, так сказать, даже когда не можем различить элементы

основы логики ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3...8F%D0%B4%D0%BA%D0%B0 показывают почему её можно заформализовать знаковым языком: её средства/понятия вторят тем математики дискретного конечного ; любое понятие/идея, любое суждение будет конечной дискретной сущностью/объектом, даже представление о квантовом запутывании ЗА пределами (!) мира эмпирического опыта будет лишь конечным дискретным элементом в порядке потуг на (логические, вестимо, других не бывает) рассуждения

Хайдук wrote: Силой воли можно только одному водку жрат
А множество образуется только силой коллективизирующего отношения