>>522
矛盾が起きていた定義域を禁止する公理を追加すれば矛盾は解消されるだろガチガイジ