https://youtu.be/zmhd8clDd_Y나도 딱히 foundation이나 논리에는 관심 없었고 구성주의 같은거도 그닥 매력을 못느꼈는데 요거 보고 좀 긍정적인 방향으로 생각이 바꼈음ㅋㅋ 재밌으니까 한번씩 봐봐
Ias에서 한 톡이고 제목은 Five Stages of Accepting Constructive Mathematics
axiom of choice로 lem 증명하는거 개신기하네ㅋㅋ