In der Philosophie der Mathematik ist der Finitismus eine Form des Konstruktivismus, nach der über ein mathematisches Objekt erst dann sinnvoll gesprochen werden kann, wenn es in einer endlichen Anzahl von Schritten aus natürlichen Zahlen abgeleitet werden kann. Ein typischer Vertreter war Leopold Kronecker.