0871132人目の素数さん垢版 | 大砲2019/09/19(木) 01:02:04.88ID:mgMEJGNP 乗法を導入する際に、分配則の必要充分条件が公理に入っているのだから、それは当たり前。 何故公理に入れるのかって疑問には何ら答えがない。