Lemma Folding Room
If a claim is folded once, its shadow becomes a second claim.
riron.net
The House of Proof
Axiom Vestibule
Enter by assumption. A theorem does not announce itself; it draws a door in the dark and waits for a careful witness.
fold the lemma
The hinge is not decoration. It is where certainty admits it was handled.
Transparent sheets disagree softly until one edge aligns with another.
assume A
not A
unless
test the negation
Contradiction Well
The proof descends until two statements orbit the same absence. Red marks do not scold; they locate the pressure.
反
open the next premise
Inference Stair
Each riser crosses the room at a slant. Step lightly: implication, exception, revision, and return are all load-bearing.
given
a mark becomes a boundary
if
the boundary folds inward
then
a chamber appears behind it
unless
the erased circle remembers
therefore
carry the unresolved light
?
question held open
proof as architecture
light without closure
carry the unresolved light
Theory Lantern
The conclusion is a room of intersecting diagrams, glowing because it remains answerable. riron.net keeps the question suspended.