In 1931, a young, unknown mathematician  named Kurt Gödel presented a proof that a logically complete system of mathematics was impossible.
В 1931 году молодой и ещё неизвестный математик Курт Гёдель представил доказательство, что логически полная система математических аксиом неизбежно противоречива.