Axiom 1:
Анархо-капитализм, как идеальный общественный строй, должен обладать всеми положительными свойствами.
Axiom 2:
Если (свойство φ положительно (P(φ))) и (∧) необходимо (□) для всех x истинно (∀х), (что если свойство φ присуще объекту x, то (→) свойство ψ присуще x), то (→) свойство ψ положительно. (Конъюнкция положительных свойств является положительной).
Axiom 3:
Утверждение свойство не-φ (¬) положительно эквивалентно (⇔) утверждению свойство φ не-положительно (¬).
Theorem 1:
Если свойство φ положительно, то (→) возможно ( ◊ ) существует объект x (∃х), для которого истинно, что φ является свойством x.
Define 1:
Утверждение "x Анкапоподобен" эквиваленто (⇔) утверждению "для всех φ истинно, что если свойство φ положительно, то φ присуще объекту x. (Критерий анархо-капитализма — обладать всеми положительными свойствами)
Axiom 3:
"Быть Анкапоподобным" — положительное свойство.
Theorem 2:
Возможно ( ◊ ) существует объект х (∃х), который является анкапоподобным.
Define 2:
Утверждение "φ является сущностью объекта x" (φ ess x) эквивалентно (⇔) утверждению, что φ является свойством x и (∧) для всех свойств ψ (∀ψ) истинно, что если ψ является свойством объекта x, то (→) необходимо (□) для всех объектов x (∀x) истинно, что если φ является свойством объекта x, то (→) ψ является свойством объекта x. (Если x обладает всеми положительными свойствами, то любое присущее ему свойство является положительным)
Axiom 4:
Если свойство φ положительно, то (→) свойство φ необходимо (□) (во всех мирах) положительно.
Theorem 3:
Если анархо-капитализм существует, то "Быть Анкапоподобным" является сущностью объекта x (Быть Анкапаподобным является Его свойством, так как оно положительно)
Define 3:
Утверждение "x существует" эквивалентно утверждению "для всех φ истинно, что если φ является сущностью x, то необходимо (□) (во всех мирах) существует объект x с свойством φ.
Axiom 5:
Существование является положительным свойством.
Theorem 4:
Необходимо существует объект x, который является анархо-капитализмом (обладает всеми положительными свойствами).
Австрийская гвардия🇦🇹