Артур выразил в точности мою мысль несколько другими словами, уважаемая right. Не фолиокве сформировало науку, а и наука, и филиокве - плоды ИХ рационального разума.
Я говорила о фундаментальных вопросах, а не о деталях. И я вполне разделяю Ваше восхищение перед, например, Архимедом и пользой его расчетов для человечества.

А по поводу ФОРМАЛьНЫХ логических систем: я знаю, что там есть еще вторая теорема (слабая). Но процитирую Вам вновь сильную:
"«Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)» "
Так в чем я неправа?