14/03/15 11:54:47.83
>>613
群論の公理は証明不要の自明の真理というよりも、ほとんど
これこれのものを群と呼びましょう、という定義だから
そもそもそれなしに群に関する主張はできない。
またそれを使ったからって、公理の正しさに依存するad hocな真理だ、
というのは無茶だと思う。
14/03/15 11:54:47.83
>>613
群論の公理は証明不要の自明の真理というよりも、ほとんど
これこれのものを群と呼びましょう、という定義だから
そもそもそれなしに群に関する主張はできない。
またそれを使ったからって、公理の正しさに依存するad hocな真理だ、
というのは無茶だと思う。