A가 아니므로 B이다 이런거
수학 자체가 논리인데 논리계라고 할것도 아니고