p : 현실에 존재하지 않음  


q : 마음속에 있다


exists : 존재한다



1. ∀x((p(x) and not q(x)) -> exists(x)) : "현실에도 없고 마음속에도 없는 모든 것은 존재한다" 


이 식의 부정형은


2. ∃x((p(x) and not q(x)) and not exists(x)) : "현실에도 없고 마음속에도 없으면서 존재하지 않는 것이 존재한다"


존재하지 않는것이 존재한다고 하므로 모순이고 따라서 거짓


따라서 원명제인 1이 참


따라서 현실에도 없고 마음속에도 없는 모든것들이 어딘가에 존재함


그 어딘가가 바로 이데아


완벽한 원은 현실에도 없고, 마음속에도 없음(왜냐하면 불규칙한 무한소수 전부를 알수없기때문)


플라톤이 말하길 완벽한 원이 존재하는곳이 이데아라고함