About 6 results for "UCjvWEfK6tvhD7z-fe79-a8A"

I. Основания математики: теория множеств vs. теория типов

uAnalytiCon • Mar 8, 2023

II. Унивалентность и понятие структуры в философии математики

uAnalytiCon • Feb 21, 2023

Теоремы Гёделя о неполноте

uAnalytiCon • Feb 21, 2022