数学的には二項演算のパラメータがどういう集合の元かを認識する必要があるわけだが、
自然数がどうのこうの言っているアホは、「3gと5mの合計は？」で
自然数の足し算だから「3+5=8」とか言ってそうだなｗ
自由派はここら辺どう折り合いを付けているのかね？ｗ