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