https://knife.media/philosophy-of-mathematics/
Гёдель, Гротендик и Ханс Арп. Философия математики: об основаниях и не только