§1 ∀x ∧

AXIOMS

Identity is preserved through every valid transformation.

P ∨ ¬P

Every proposition divides the field into assertion and denial.

¬(P ∧ ¬P)

No statement can occupy both truth values at once.

§2 ↔ ∃

def. 01

Form

A form is a boundary placed around possible meaning. Within the boundary, syntax becomes legible.

def. 02

Inference is the measured passage from premise to consequence, drawn without ornament.

¬

Negation is not color; it is rupture.

⊢

The turnstile marks what can be demonstrated from what is given.

§3 01–06 ∨

p1

Truth is invariant under notation.

p2

A contradiction discloses the edge of the system.

p3

Containment is a relation, not a decoration.

p4 ¬

Unproved assertion remains outside the grid.

p5

Every proof is architecture in time.

p6

Therefore space itself may function as connective.

§4 → ↧

Assume P within the field of stated axioms.

assumption

From identity, P remains P after formal substitution.

identity

If P implies Q, the consequence occupies the adjacent block.

modus ponens

The red negation is excluded from simultaneous assertion.

non-contradiction

Thus the proof descends by necessary connection.

therefore

§5 Q.E.D.

∎