Kossak Roman

An application of definable types of Peano's arithmetic