realurix Oct 22, 2012 06:13
ошибка Пуанкаре/Энштейна, формальна система, теоремы Гёделя, красное смещение, шестая проблема Гилберта