셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?

그림에서 무엇을 볼까요?

셀 수 있는 모형 상자 내부의 집합과 내부 함수 목록, 상자 밖 관찰자의 번호 매기기가 경계로 분리되어 있다.

교실 상자 M 안에는 학생 카드와 몇몇 명단만 들어 있습니다. 밖의 교사는 모든 카드를 번호와 짝지은 명단을 만들 수 있지만, 그 명단을 상자 안에 넣지 않았다면 M 안에서는 그 함수가 존재하지 않습니다.

그림은 외부 번호표가 상자 경계에서 멈추고, 내부 판정은 상자 속 함수만 검사하도록 구분합니다. 경계가 논리의 일부입니다.