Цитата:
Сообщение от Бразил
Предположим, вера опирается на аксиому "Бог есть". Эта аксиома не требует больше никаких аксиом, то есть аксиоматика религии заведомо полна. Значит – по теореме Гёделя – противоречива.
|
Вот "умница", а... Ну откуда Вы такой взялись-то, а? Ну хотя бы ради приличия залезли бы в Википедию... Зачем так перевирать математику? Бывший учёный, мля...
Теорема Гёделя как раз утверждает обратное, что если в формальной системе существует невыводимая и неопровержимая формула (читайте аксиома), то эта система является непротиворечивой. Это первая теорема Гёделя!
Вторая теорема утверждает, что если формальная система непротиворечива, то внутри неё нельзя вывести формулу, которая доказала бы эту непротиворечивость...
Иными словами, средствами самой этой формальной системы нельзя доказать истинность аксиом. Можно доказать это только выйдя за рамки этой формальной системы, создав таким образом более широкую формальную систему. Но и эта более широкая формальная система будет содержать в себе утверждения (аксиомы), которые нельзя будет доказать её же средствами... И так до бесконечности...