Посмотрите на главную страничку АМ, в новостях написано что УСЕ на сегодня. Всем спать !

__________________
в любой достаточно богатой системе аксиом существует утверждение, которое внутри этой выбранной системы аксиом нельзя ни подтвердить, ни опровергнуть.