Is the language of intuitionistic mathematics adequate for intuitionistic purposes
Fernàndez Diez · 2003
Is the language of intuitionistic mathematics adequate for intuitionistic purposes? In this paper I argue that it is, replying to several arguments by Hellman (1989) and Hossack (1990), (1992): I agree with these authors that there are classical propositions, such as the assertions of absolute unprovability, which are not expressible in a purely intuitionistic language, but I show that these propositions are not strictly needed for the development of intuitionistic logic or mathematics.