>>87
何度も言っているように、「定義域を変える公理」なんてあり得ないんだよ