物理学 › 構成的場の理論と Euclid 手法 › クラスター展開と Kotecký–Preiss の判定条件有料章

ポリマー系

定義 2.1(「クラスター展開と Kotecký–Preiss の判定条件」§2)

この定義は有料章(研究水準・買い切り ¥200)の中にあります。主張は記事の該当箇所で読めます(料金)。

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 5 件

関連するノック 2 問