ABSTRACT
It is unlikely that anything new can be added to the discussion of the relationship between logic and mathematics one hundred and twenty years after the publication of Frege’s [49] and seventy years after that of Godel’s [69]. But since the logic ITT differs in several important respects from previously considered logics it is perhaps worthwhile restating some old positions in the light of the new logic.
