Nhà vô thần: Mệnh đề "Thượng đế không tồn tại" là đúng.
Nhà toán học: Mệnh đề "Không tồn tại một số nguyên tố nào lớn hơn 13 và bé hơn 17" là đúng.
Nếu muốn coi "tồn tại" như một vị từ giống như các vị từ khác thì qua những thao tác hình thức chúng ta sẽ đi tới một chứng minh sự tồn tại của Thượng đế.
Thật vậy, trong lôgíc vị từ có công thức p(t)  (Ex)p(x) , ở đó "t" là một tên gọi. Vậy thì, từ mệnh đề phủ định về sự tồn tại như p(t) = "Thượng đế không tồn tại" ta sẽ suy ra : (Ex)p(x), nghĩa là: Tồn tại x mà " x không tồn tại".

Tồn tại một số nguyên tố mà số nguyên tố đó không tồn tại giữa 13 và 17.