物理学 › 構成的場の理論の原論文：反射正値性・クラスター展開・自明性 › Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部有料章
木の長さの劣加法性と敷石集合の和
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 1 件、定義なども含めて 1 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 連結性の基本性質✓補題 2.3・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 2 部
これを使っている定理 証明で参照している 10 件
- 質量項・局所 4 次項・無関連項の因子（原論文 (10.6)–(10.9)）✓補題 3.3・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 大場の成分の内部に収まらない項（原論文 (10.11)–(10.17)）✓補題 4.1・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 部分 Mayer 展開の評価（原論文 (10.18)）✓命題 4.2・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 大場の成分の内部の 4 次の項（原論文 (10.22)–(10.27)）✓命題 4.5・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 新しい大場の関数の第一の上界（原論文 (10.28)）✓定理 4.6・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 大場の領域の取り替えによる改善（原論文 (10.29)–(10.33)）✓命題 5.4・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 核 I の評価と対称性（原論文 (11.6)–(11.7)）✓補題 7.3・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 周期箱の中の有限の配置と、巻き付く敷石集合✓補題 8.4・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 小場の項と結合定数の変化の収束✓補題 8.15・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部
- 弱結合の臨界格子 φ⁴₄ 理論の赤外漸近自由性（原論文 (12.1)）✓定理 8.23・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部