Bir şeyin var olduğundan emin olmak için onu göstermek yeterlidir. Ama yoksa, o zaman? Yokluğu göstermek zordur! O zaman? Bir şeyin var olmadığını göstermenin tek yolu onun VAR OLAMAYACAĞINI kanıtlamaktır. Yani söz konusu şeyi bulma yetersizliğinden bu şeyin var olmadığı kesinliğine geçmektir. Bu geçişin bedeli yüksektir, bir tanıtlama gerektirir. Olanaksızlığın tanıtlanması!