|
|
Пишет Misha Verbitsky (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} tiphareth) |
А в том, что система аксиом Цермело-Френкеля
содержит "схему подстановки для высказывательной
функции", которая не аксиома, а "правило
вывода", то есть счетный набор аксиом.
А теорема Геделя требует конечный набор аксиом.
И первым, кто переформулировал Цермело-Френкеля
с конечным набором аксиом, был фон-Нойман.
Такие дела
Миша
содержит "схему подстановки для высказывательной
функции", которая не аксиома, а "правило
вывода", то есть счетный набор аксиом.
А теорема Геделя требует конечный набор аксиом.
И первым, кто переформулировал Цермело-Френкеля
с конечным набором аксиом, был фон-Нойман.
Такие дела
Миша
Добавить комментарий:
