Введение в логику и научный метод

Аксиома 1′′′. Если a и b являются различными l‑классами S , то существует по меньшей мере один элемент S , принадлежащий a и b .

Аксиома 2′′′. Если a и b являются различными l‑классами S , то существует не более одного элемента S , принадлежащего а и b .

Аксиома 3′′′. Любые два элемента S являются элементами некоторого одного l‑класса S .

Аксиома 4′′′. Существует по меньшей мере один элемент S .

Аксиома 5′′′. Каждый элемент S принадлежит по меньшей мере к трем l‑классам S .

Аксиома 6′′′. Не существует элемента S , принадлежащего всем l‑классам S .

Аксиома 7′′′. Не существует элемента S , который принадлежал бы более чем к трем l‑классам S .