Birçok aksiyom hipotez doğurur. Ama bir aksiyomu tekbir şey doğurur; çünkü aksiyom hipotez gibi bir şeyin resmi değildir.
Ya bir şeyin (nesnenin) resmini yaparız aksiyomları bunun için kullanırız. Ya da aksiyomlardan bir resim oluştururuz: Herhangi bir şeyin resmi olmayan bir resim. Bu teoremdir. Bir teorem verilmişse söz konusu aksiyomlardan elde edilebiliyor mu? Verili resim parçacıklarından o resim yapılabiliyor mu buna bakılır. Bu ispat yöntemidir. Teorem bir totolöjidir. Hipotez ise yanlışlanabilirdir Yanlışlanamasa bile bunu sonradan bilebiliriz teoremin aksine. Aksiyom da bir totolöjidir. Ama aksiyom ispatlanamaz; a=a ispatlanamaz.