cafe

시간적 직관에 근거하여 두 수의 관계를 설정하면 무한 전개하는 무한집합을 구성할 수 있다. 따라서 셀 수 있는(countable) 가무한은 직관주의와 배치되지 않는다. 그리고 브라우어는 ‘자연수 전체 집합’을 증명할 수 없는 무한으로 간주했다. 무한을...

countable 이라고 함.리플 부탁

먼저 문제부터 적어보겠습니다. Prove that if f:A->B is a function defined on the countable set A then the range of f is countable. 이게 문제인데요... countable 하다는 얘기는.. 원소의 갯수가 finite하거나 denumerable인경우 countable 하다고...

reliable 유의어로 countable 을 써주셨는데 사전엔 (신뢰할 수 있는)뜻이 없어요..!