내용은 알겠는데, 그걸 정말 깔끔하게
형식적으로 표현하는걸 못하겠음
책을 복붙 - dc App
논리 먼저 공부하기?
진짜 형식적으로 하려면 1차논리는 알아야 할걸
ㄹㅇ 진짜 엄밀하게 나가면 감당안됨 ㅋㅋ 애초에 얘가 말하는것도 naive set theory같은데 걍 타협하고 넘어가는 부분도 있긴해야함
슈뢰더 베른스타인 정리나 조른의 보조정리, 비둘기집 원리 증명 보면 진짜 골치 아픔ㅋㅋㅋ
책을 복붙 - dc App
논리 먼저 공부하기?
진짜 형식적으로 하려면 1차논리는 알아야 할걸
ㄹㅇ 진짜 엄밀하게 나가면 감당안됨 ㅋㅋ 애초에 얘가 말하는것도 naive set theory같은데 걍 타협하고 넘어가는 부분도 있긴해야함
슈뢰더 베른스타인 정리나 조른의 보조정리, 비둘기집 원리 증명 보면 진짜 골치 아픔ㅋㅋㅋ