3. 현재 대세인 TMA의 구성 방식은 다음의 절차를 따른다. • 첫째, OM, SP, NI를 바탕으로 하나의 형상 도입이 결국 무한개의 형상들을 만들어낼 수밖에 없다는 무한 후퇴 논증을 건설한다. • 둘째, 무한 후퇴 논증의 결론이 U와 모순되기 때문에, U, OM, SP, NI는 하나의 무모순적인 체계를 이룰 수 없다. 두 번째는 첫 번째의 직접적 결론이다. 두 번째는 첫 번째의 보조 정리의 성격을 띠고 있으므로, 현재 대세인 TMA 구성 방식의 핵심은 첫 번째이다. (i) OM에 따라 o1, o2, ..., on 모두 F일 때 o1, o2, ..., on들이 참여하는 적어도 하나의 ‘F와 관련된 F-ness’가 있다. (ii) NI에 따라 F와 관련된 그러한 어떤 F-ness는 각 oi(1≤i≤n)..