Diegoの定理
$ \land,\to,\bot
によってのみ構成されている
$ n
変数論理式の全体集合
$ \Xi_n
は
$ \mathbf{Int}
上の
$ \leftrightarrow
で割ったとき有限．
A. Diego; "Sur les algibres de Hilbert"