타과생임


every 나 for all , 논리적으로는 implication 이잖음 


(1)  every x in N ~~~ ; 

(2)  x is in N -> ~~~; 


(1)이랑 (2) 같잖음 



이미 해석개론 1은 들은 상태 (잘하진 못했음) 인데 갑자기 복습하려고 하니까 

(1)이 아무리 봐도 머리에 안들어오고 (2)로 바꿔 읽어야만 뭔가 공부가 되는 것 같은데 

(1)로 이해하는게 정상인거 아님? 

갑자기 원래보다 더 멍청해진거 같아서 당황스러운데 


게다가 supremum을 이런 방식으로 바꿔서 하려니까 너무 복잡해서 알던것도 모르게 되는 느낌 

조언 좀