Both Heyting and Gentzen approached questions of meaning in relation to whatit is to prove something, but as seen from the above, their approaches were stillvery different. Gentzen was concerned with what justifies inferences and therebywith what makes something a valid form of reasoning. These concerns were absentfrom Heyting’s explanations of mathematical propositions and assertions. The co…