[일반] 엄밀충, 엡델충, 순수수학충 특징

[익명(118.235)]

더 엄밀하고 순수한 집합론, 수리논리학 공부할땐 조용히 있음

엄밀한 수학하는게 좋은게 아니라 해석학하는 내 모습에 취해있는거임

[수갤러 1(61.80)]

수리논리학, 수학기초론은 수학이 아니라 논리학, 철학임

[익명(sweater5651)]

Definable functor가 뭔지는 아니

[ultraproduct(ultraproduct)]

그 반대로 철학이 아니라 수학

[익명(118.235)]

(-1)-category를 아시나요?

[속상한기태씨(soksanghae)]

직관이 0순위 논리는 뒤따라오는 것 - dc App

[익명(118.235)]

직관주의자 검거

[익명(121.160)]

factos - dc App

[십벌레(citrus0388)]

내가 이런글 올렸었는데 댓글로 개거품물고 ㅈㄹ하던데 - dc App

[수갤러 2(118.216)]

그또한 생각이 바뀜. 걍 니가 ㅂ신임.

[HappyStar(freeze2040)]

대수분야로 어플라이 망한애들이 꼭 집합론걸고 넘어지더라..