User blog comment:Ubersketch/The Ultrafinitists are Right!!! Mohamed Ababou/@comment-35470197-20181221025646/@comment-35470197-20181221041413

Good phrase. Such a phrase is a declaration of an axiom (a set of formal strings whose occurences are allowed in the "deduction game" in mathematics), and it will be actually good. It is not stating that there is an "infinity" in the world because we are just dealing with processes of writing finite formal strings according to finite rules.