未来の理論で確定する文
理論の列
$ T_1 \subset T_2 \subset T_3 \subset \cdots
を考えて
$ T_1 \vdash \sigma_0 \leftrightarrow \lnot \Box_{T_2} \sigma_1
$ T_2 \vdash \sigma_1 \leftrightarrow \Box_{T_3} \sigma_2
とか絡まった文
$ \sigma_1,\sigma_2,\dots
を考えるとどうなる？
#自己言及