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