論理には色々ある。
命題論理。述語論理。様相論理。、、、、、。
ひらたく言って、論理の対象が新しく付け加わる度に異なった論理が必要。
だから、自然数、実数、複素数、関数、空間、、、、、
同一視できる場合も出てはくるが、それぞれの論ずる対象によって、異なってくる。