На рубеже XIX и XX веков Давид Гильберт поставил задачу перед математиками всего мира: построить аксиоматику арифметики. Однако, Курт Гёдель в своих исследованиях пришел к выводу, что располагает примерами истинных высказываний, которые нельзя доказать исходя из аксиом. Согласно его трудам, никакая не противоречивая система аксиом арифметики не может быть полной, то есть всегда будут существовать какие-либо истинные свойства чисел, которые нельзя будет доказать исходя из аксиом арифметики. В этом и заключается суть теоремы Гёделя о неполноте. Аналогичный подход применим и при рассмотрении физических теорий.