On arithmetic with the notion of “attainable number”

The author investigates the extension of formal arithmetic by the proposition that a concrete “large” natural number is not attainable. It is shown in the article that although the resulting system is inconsistent, the only formulas in the language of arithmetic which can be derived by “short” proofs are those which are theorems of arithmetic.
Bibliography: 10 titles.