数学の命題とその推論の記述に必要な論理なんて
そんな大したものではないよ 言葉だから(^_^)