Strict finitism
strict finitist semantics for first-order arithmetic
scientific article; zbMATH DE number 3782954