25/12/29 05:27:29.38 QBIsQZ17.net
>>713
>>710で曖昧なことを言ってるのを指摘されてるでしょ。
あなたが言いたいことは、定義→定理の順で数学は演繹で展開されると言いたいんでしょ?
私が言いたいのは、こういう定理が成り立つようにしたいから、こう定義しとこってことがあるんじゃないかという、軽い気持ちで書いていたんだよ。
分解の一意性が成り立ってほしいから、素元の定義を工夫したんじゃないかという予想で書き込んだが、あなたも素元の定義のされ方を知らないのならもうドローということで良いじゃないか?