Представьте себе мир, где каждое утверждение можно однозначно доказать либо опровергнуть. Именно таким всё грезилось математикам начала XX века, стремящимся создать всеобъемлющую систему аксиом, способную описать всю математику. Но в 1931 году молодой австрийский логик Курт Гёдель перевернул их идеи с ног на голову, представив миру свою знаменитую теорему о неполноте. Для нас самое интересное тут даже не её математической приложение, а связь этих знаний с физикой. Ведь из этой неполноты следует кое-что очень важное и математика - это язык физики...