Therefore, he fundamentally disagreed with the 'formalist' conception of proof which prevailed in Frege's and Russell's logicism, which defines proof simply in terms of formal validity.
Για τον λόγο αυτό διαφωνούσε θεμελιωδώς με τη «φορμαλιστική» έννοια της αποδείξεως που κυριαρχεί στον λογικισμό των Φρέγκε και Ράσελ, που ορίζουν την απόδειξη μόνο μέσα από την «τυπική» εγκυρότητά της.