[Kim K.]

Сообщение от Сидхарт

Правильно, что рады, если это...не собачья радость только.

Меня тоже радует, что вы меняетесь.

Если вы имеете в виду математику, то на самом деле, дело еще сложнее. Аксиоматический подход в математике далеко не единственный. Есть разные школы: школы интуитивизма, конструктивизма, теоретико-множествнный подход, аксиоматический подход и тд. И все имеют право быть под солнцем. Так что рассуждения об аксиомах - это всего лишь маленький эпизод.
Но даже в этом случае, говорить, что "аксиомы, на которых базируются даже теоремы, в общем-то недоказуемы" не есть логически корректно, или другими словами выражено весьма коряво. Потому как аксиомы по определению не доказуемы...потому они и аксиомы.

о том-то и разговор, что база науки есть простой верой.

Сообщение от Сидхарт

И когда вы начинаете "исследовать" "доказуемость" аксиом, то на все это очень грустно смотреть, даже более грустно, чем на вас и Кайвасату.

А Вы не грутисте, Сидхарт -- солнце то светит!!! И все достойны счастья пребывать под ним.
Как и двое студентов (мне кажется, французов), которые моделировали аксиоматическую параллельность прямых с помощью двух лазеров.