同時に存在するエージェントの数の上界

命題 5.8（「文脈を保つ・減らす・分ける」§5）・ ✓公理まで証明済み

主会話を深さ $0$ とし、入れ子の深さの上限を $D$ とする。

各エージェントが同時に持てる子の数が高々 $c$ ならば、同時に存在するエージェントの数は高々 $\sum_{j=0}^{D} c^j$ 。
セッション全体で同時に動くサブエージェントの数が高々 $N$ ならば、同時に存在するエージェントの数は高々 $1 + N$ 。両方の制約があれば、上界は $1 + \min\bigl(N,\ \sum_{j=1}^{D} c^j\bigr)$ 。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

証明で明示的に参照している定理は、まだありません。