Matematyki nie da się sprowadzić do zbioru tez wyjściowych i reguł wnioskowania, za pomocą których dowodzi się twierdzenia.