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