extentional proof

확인하고자하는 성질이 의미 세계안에서 드러나는 겉모습(입출력, 타입등)인 경우의 증명을 말한다. 예) 프로그램변환이 맞다는 것을 증명하려면 출발프로그램과 도착프로그램의 의미가 같다는 것을 증명해야 한다. 겉보기 증명은 두 프로그램의 의미의 "겉모습" 관계를 의미세계안에서 증명한다.