5. 현재 대세인 TMA 구성 방식에 따르면, OM과 U는 서로 독립적인 것으로 취급된다. TMA의 무한 후퇴 논증을 발생시키는 과정에 UI는 개입하지 않는다. 그 과정은 OM, SP, NI에만 근거하기 때문이다. 반면에 블라스토스의 TMA 구성 방식에 따르면, OM은 U를 전제한다. 물론 이때 그 전제 방식이 단순히 OM과 U의 형식적 결합을 의미하는 것인지, 아니면 OM에 U가 내용적으로 이미 함축되어 있음을 의미하는지는 논의거리가 될 수 있다. 전자의 전제 방식은 OM과 U의 분리 가능성을 배제하지 않는 반면, 후자의 전제 방식은 그 가능성을 배제하기 때문이다. OM이 U를 전제하는 방식은 논외로 하자. U를 전제한 OM 방식을 OMU라 할 때, OMU는 다음과 같다. • OMU 임의로 주어진 n개..