Every valid path preserves its shadow.
A thin rule crosses the courtyard. Nothing hurries; everything depends.
Premise Gate전제의 문
lemma 00 / assumed quiet
nonri.net
Reasoning enters as a line, not a declaration.
premise
If a thought has edges, it may be folded.
논리는 밤의 정원처럼 천천히 열린다.
Axiom Courtyard공리의 뜰
Two balanced claims reveal a third.
P
Q
도장: 참인 것은 서로의 무게를 기억한다.
Inference Bridge추론의 다리
therefore
Because the shadow remains, the claim may cross.
A conclusion is a bridge that remembers both banks.
Contradiction Well모순의 우물
Unless the gate was false, this path cannot stand.
¬
A carmine bloom pulls the branch inward. The proof refuses the impossible.
Q.E.D. Lantern증명의 등
∴
What remains is not louder. It is proven.
All branches return to a quiet square, and the garden keeps its rule.
Q.E.D.
끝맺음은 빛나는 사각형 하나.