브로우베르 는 이 논리 를 원주율 에 도 그대로 적용 한다 . 원주율 = 3 . 141592 … 의 소수 전개 는 규칙 없이 무한히 전개 된다 . 따라서 9 가 100 회 연속 으로 나타나 지 않 았 다고 해서 앞 으로 도 안 나타날지 는 알 수 없 으며 그렇 다고 해서 언젠가 는 100 회 연속 된 9 가 나타날 것 이 라고 도 말 할 수 없 다 . 소수점 수열 은 끝 이 없 기 때문 이 다 . 여기 서 " 100 회 연속 된 9 가 나타날지 아닐지 둘 중 의 어느 하나 가 성립 한다고 말 할 수 없 다 " 는 결론 이 나온다 . 브로우베르 의 이러 한 논리 에 의하 면 모든 A 에 대하 여 ' A 가 성립 하 거나 성립 하 지 않 거나 둘 중 의 하나 ' 를 주장 하 는 전통 적 인 논리 법칙 인 배중 률 은 그 사용 이 유한 의 경우 로 제한 되 어야 한다 . 이러 한 이유 때문 에 직관주의 의 입장 을 유한 의 입장 이 라고 부른다 . 유한 의 입장 이란 다른 말 로 하 면 인간 의 입장 이 라는 뜻 이 다 . 인간 은 유한 하 기 때문 이 다 .