Jika sistem itu tak bisa diperiksa kebenarannya tidak bisa dikritik, maka akan mati juga ilmu pasti itu.