우리 는 어떤 집합 이 구체 적 으로 존재 하 여야 ( 즉 구성 해낼 수 있 어야 ) 그 다음 에 그 집합 에 대하 여 이런 저런 말 을 하 는 것 이 가능 해진다 . 예 를 들 어 어떤 도서관 에 가 서 ' 자기 자신 을 목록 에 포함 하 지 않 는 책 의 목록 ' 을 만든다고 하 자 . 우리 는 그러 한 책 들 을 하나하나 찾 아서 목록 을 채워 갈 것 이 다 . 도서관 에 그런 책 이 있 을 수 도 있 고 없 을 수 도 있 다 . 만약 그런 책 이 자연수 의 개수 처럼 무한히 많 다면 목록 의 작성 은 영원히 끝나 지 않 을 것 이 다 . 따라서 우리 는 이러 한 목록 의 개념 만 가지 고 는 그것 이 어떤 확정 된 모습 으로 구성 될 수 있 다고 말 할 어떤 근거 도 없 다 .