Lukas' Notes

Definition

Finitism

Finitism is a philosophy of mathematics that grounds justified reasoning in finite, concretely constructible objects and finite, effective operations, without assuming completed infinite totalities.

In its usual form, it permits potential infinity: any constructed natural number may be followed by , but all natural numbers are not treated as a completed set . The restriction is to finite construction, not to a fixed maximum number.