profundus.wtf

Axioms

The following axioms are assumed throughout the FRAMEWORK.

Equivalents of the Same Are Themselves Equivalent

(A = B) ∧ (B = C) → (A = C)