!!!

proof theory
model theory
computability theory
set theory

관심있는 분들, 논리학 갤러리에서 서로 설명해주면서 실력을 쌓고 놀라운 수학적 대상들을 찾아나가봐요!

Let's go!

Assertion. 수학기초론 관심있다 => http://gall.dcinside.com/logic 로 접속한다!!

Proof. Exercise6. done.

- dc official App