Makinsonの定理
この意味で$ \mathbf{Ver,Triv}は極大な正規様相論理である．
remark
$ \mathbf{Ver} = \mathbf{K} \oplus \Box \varphi
$ \mathbf{Triv} = \mathbf{K} \oplus \varphi \leftrightarrow \Box \varphi
Proof
次の2つの補題の系として得られる
1. $ L \not\sube \mathbf{Ver}なら$ \mathbf{KD} \sube L
2. $ \mathbf{KD} \sube Lなら$ L \sube \mathbf{Triv}
上の補題2つからどちらかが成り立つことは明らか．
仮に両方成り立ってしまうとすると，
$ \mathbf{KD} \sube L \sube \mathbf{Ver}より$ \lnot \Box \bot \in \mathbf{Ver}が言える．
一方$ \Box \bot \in \mathbf{Ver}．
よって$ \bf Verは矛盾してしまうが，$ \bf Verは無矛盾なのでおかしい．