>>866
偶発的な要素と言いたいのかな。一瞬、現時点で四色問題がコンピューター使わないと証明されないというのを思い出した。詳しくはないけど。
俺はそういう結果的に棄却された公理は適合しないから既に使われてないとすると、では現在ある公理は全て意味があると言えるのじゃないかと思った。
自然科学の実験における仮説と同じで、適合しないとされるともはやそれは意味がなく、果たして公理と呼べるのだろうか？勿論試行錯誤自体には大いに意味があると思うが。
俺は意味がなく丸暗記するしかないということを、英単語の暗記みたいなイメージで考えていた。そのような偶発的かつ不適合な公理は理論体系から淘汰されていくのじゃなかろうか。