Ничто не доказуемо, если обратное не подразумевает противоречие. Ничто из того, что отчетливо мыслимо, не предполагает противоречия. Все, что мы мыслим как существующее, мы также можем представить как несуществующее. Следовательно, не существует существа, несуществование которого заключало бы в себе противоречие. Следовательно, нет существа, существование которого доказуемо.