수학이 논리식이니 엄밀히 보면 수학이 맞지만, 논리식과 관련하여 재밌는 정리가 하나 있는걸 발견해서 그런데 관련해서 정보글을 써봐도 됨?