The make believe world of predicate logic was a mere conservative extension of finitism. |
Barnes built finitism into the core of his approach to social theory and to the analysis of social order. |
Of course, an analysis of the notion of finitism cannot be presented as a theorem. |