Видео с ютуба 기초수리대학

수학의 기초론 (feat. 논리주의, 직관주의, 형식주의, 프레게, 러셀, 브라우어, 힐베르트, 괴델)