아래 논증이 어떻게 불만족스러운지 기호화해서 (등호 사용 가능)밝혀야 하는데,

신이란 그보다 위대한 어떤 것도 상상될 수 없는 것이다.
만일 그 어떤 게 존재하지 않는다면, 그것보다 위대한 어떤 것이 상상될 수 있다.
그러므로 신은 존재런거.

첫 번째 꺼 기호화는 (∀x)(∀y)(~Cyx ⇔ x=g) 라는데, 이때 g가 신이고 C는 보다 위대한 것으로 상상될 수 있다 는 술어인 것 같네요,