>>771
以下の条件を満たしていれば何でもよい．
表現可能、演繹について閉じている、自明でない。