>>17
とりあえず>>12の｛我々｝∋俺でないことはわかった。

>>19
>検証する際に公理から始めるひとは殆どいないし、
公理と、公理から示された定理から始める場合は公理から始めたのと同一視できない？

>公理の概念が無かった時代にはその正しさを保障するものは無いし･･･
その時代の理論を、正しいか確かめずに使ってるならそうだな。

>では公理から始まりさえすれば全て真だと言い切れるのだろうか
公理系Aを認めた理論での命題は「公理系Aが真ならば〜」と解釈すべきだから、言い切っていいんじゃないかと。


>>21
「x^2=-1に解は存在する」はxの範囲を定めていない。だから>>4の様なことを言える。