[일반] 왜 수학이론은 모두 집합으로 기술하나요

[익명(125.177)]

집합이 아니라 다른 구조물로 같은 체계를 만들 순 없나요?

어차피 논리적으로 동치면 의미 없어보이지만 같은대상을 여러 관점으로 바라볼 수 있으면 재밌을거 같아요

[익명(211.36)]

너가 만들어

[익명(118.235)]

minimal assumption으로 기술하려면 어떤게 필요할까? 의 그럴듯한 답 중 하나가 집합론의 공리 + 집합이 존재한다=>자연수 등등 이것저것 많이된다 이거라서 그렇지뭐

[익명(119.201)]

좆테고리 맛좀 볼래? - dc App

[익명(125.138)]

ㅋㅋ

[익명(180.67)]

COQ 트라이 트라이

[익명(46.135)]

가능