ZFCはクラスを扱えないので、概念を扱うことができない(できないことはないが、
めんどくさい)。
とりあえず、クオリア構造を扱うために、様相論理に類似した論理を作成してみる。