원래 nbg 안에 기수 공리랑 서수 공리가 있음?
없음
상관없음
기수와 서수는 NBG에서도 construct할 수 있는데 그 내용을 안 가르쳐주고 공리 취급하겠다는거임. 그게 필수적인가 잘 모르겠지만 기수 서수는 기초론적인 개념이니까 교양 삼아 한번 공부해볼만은 하지
ㄱ
ㄱㅅ
nbg로배우는게 더컴팩트한거같음
ㄱㅊ pinter도 저런식으로 함
원래 nbg 안에 기수 공리랑 서수 공리가 있음?
없음
상관없음
기수와 서수는 NBG에서도 construct할 수 있는데 그 내용을 안 가르쳐주고 공리 취급하겠다는거임. 그게 필수적인가 잘 모르겠지만 기수 서수는 기초론적인 개념이니까 교양 삼아 한번 공부해볼만은 하지
ㄱ
ㄱㅅ
nbg로배우는게 더컴팩트한거같음
ㄱㅊ pinter도 저런식으로 함