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.
Proto zásadně nesouhlasil s „formalistickým pojetím“ důkazu, který vládl v Fregeově a Russellově logice, který definuje důkaz jednoduše, pouze svou formální platností.