This theory can be applied to any logic system.
この理論はあらゆる論理システムに当てはめることができる。