この公理系eより「強い」すべての公理系は、classicalな公理系と呼ばれる。