[일반] 아 ㅋㅋ 선택공리가 그냥 여러 공리중 하나였네

[익명(210.183)]

ㅈ고딩 상상으로는 공리 여러가지 나열해두고 서로 독립적인 공리인걸 증명해둔다음 이거랑 이거 선택하면 이런 체계가, 저거랑 저거 선택하면 저런 체계가 만들어진다~ 그런건줄 알고

졸라 재밌을거같아서 신나게 집합론 전공서적 찾아서 읽고 있었는데 아니었네ㅋㅋ

저렇게 공리 선택하는 내용 나오는 수학분야 혹시 있음?? 만약 있다면 공립 도서관에 서적 있을까?? 해석학이나 집합론같은건 도서관에 있던데

[익명(121.88)]

ㅋㅋㅋ 재밌는 생각이네

[ultraproduct(ultraproduct)]

뭐, 선택공리 말고도 여러 재밌는 문장들이 있고, 걔네들이 성립하는 게 독립적인지, 그렇다면 상대적으로 일관적인지, 이런 걸 탐구하는 분야도 있지만.

[익명(210.183)]

그럼 그런건 어디서 다룸?? 수리논리인가?

[익명(116.41)]

edx에서 paradox and infinity라고 mit철학과에서 진행하는 강의있는데 그거 들어봐 재밌어할듯

[익명(210.183)]

ㅇㅋ ㄱㅅㄱㅅ

[김민성태팬클럽회장(thecoqproofassistant)]

왜 아닌데? 이거랑 이거 선택하면 이런 체계, 저거랑 저거 선택하면 저런 체계 나오는 거 아님?? 설명 좀 해줘 ...

[익명(210.183)]

선택공리 때 그런것들을 배우는줄 알았음 근데 보니까 선택공리라는 공리 하나에 대해서만 배우는길래

[다믜(damhiya)]

공리를 '선택'해서 선택공리인줄 알았나보네

[익명(14.36)]

Logic 배우면 axiomatic system 배우자나. 특정 명제 증명하는 데 무슨 공리가 필요한지 찾는 것도 mathematical logic에서 다루는 하위 개념임.