[일반] 증명이론 다루는 한국어책 추천좀

[익명(115.23)]

ㅈㄱㄴ

[수갤러 1(117.111)]

1. 니가 증명을 어려워하는 건 증명이론을 안배웠기 때문이 아니다 2. 영어중 젤 쉬운 수학영어도 안되면서 이론 찾아봤자.

[익명(115.23)]

아니 그냥 갑자기 수학기초론에 빠져서 그런 거임

[익명(117.111)]

1. 니가 수학을 어려워하는 건 수학기초론을 안배웠기 때문이 아니다 2. 영어중 젤 쉬운 수학영어도 안되면서 이론 찾아봤자.

[익명(218.54)]

시간낭비

[수갤러 2(143.248)]

수학 기초론 아무거나 읽으셈 근데 방학 때 취미로 읽는 게 맞을 듯

[익명(118.235)]

영어로도 읽을만한건 kunen set theory 정도던데

[ultraproduct(ultraproduct)]

그거 한국어 책 없다. 애초에 수리논리 하겠다면서 한국어 책 찾는 건 소용없는 짓임 - dc App