>Формальная логика лежит в основе математической логики. Но приходится использовать сущности, логическим выкладкам неподдающиеся, например аксиомы. Гедель доказал, что в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть. Например, такое утверждение можно добавить к системе аксиом, оставив её непротиворечивой. Причем никакая фиксированная система аксиом не может дать исчерпывающее описание системы.
>Правильно, отсюда следует (может следовать), если уж использовать Геделя, что в любой момент фиксированная научная система не может дать исчерпывающее описание системы. Добавляйте аксиомы (параметры) и уточняйте описание. Так в чем проблема для науки?
В том же, в чем у зеноновского Ахилла с черепахой.
