Strict finitists identify the natural numbers with those representable as unary numerals constructib...