[일반] 수학은 어떤논리체계를 따르는거야??

[1223(106.101)]

명제논리??
술어논리??

[기괴공학도(mecheng98)]

집합을 쓰면 최소 2차 논리, 아니면 1차 논리.

[뽈펜(ieieiei)]

집합을 쓰면 ㄹㅇ 2차임? 1차인줄 알았는데

[기괴공학도(mecheng98)]

zfc로 인코딩하면 1차임 ㅎ

[ㅁㅁ(111.239)]

보통 자연수나 실수 같은 대상이 있고 그 대상의 집합 정도는 말하는 경우가 많으니까 2차 정도로 보면 될겁니다. 인제 위상같은게 나오면 3차가 필요하고요. 단 '대상이나 대상의 집합이나 대상의 집합의 집합이나 똑같은 눈높이서 보자'는 식으로 전부 ZFC집합론으로 인코딩해 버릴수도 있는데 ZFC는 1차입니다.

[ㅁㅁ(111.239)]

대수나 기하쪽에선 어쩐지 잘 모르겠어요. 하라는 수학공부는 안하고 논리만 공부해서 예시가 빈약하네요.

[익명(141.223)]

수학은 "수학"이라는 논리 체계를 따르며, 이 체계가 뭣인지는 사람마다 다름.

[익명(141.223)]

ZFC가 이것이 아닐까 추론만 할 뿐..