Там есть отрасль математики, называемую основой математики. Это как квантовая механика. Речь идет о том, как эта очень сложная теория математики может быть создана из очень основных частей.