Konstruktivismus (Mathematik, Logik)

Sammelbezeichnung für Strömungen, die nur solche Gegenstände als existent ansehen, die vermöge einer Konstruktion bereitgestellt werden können. Dabei wird neben den Konstruktionen der Geometrie auch der Aufbau der natürlichen, der ganzen und der rationalen Zahlen als konstruktiv – da stets in endlich vielen Schritten ausführbar – anerkannt. Abgelehnt wird dagegen