konstruktywna matematyka rekurencyjna i konstruktywizm Bishopa. Omówimy je teraz pokrótce.<br><br>&lt;tit1&gt;A. Finityzm&lt;/&gt;<br>Główne zasady &lt;orig&gt;finityzmu&lt;/&gt; można sprowadzić do następujących postulatów: (a) przedmiotem matematyki są tylko konkretnie (skończenie) dane struktury (prototypami skończenie danych obiektów matematycznych są liczby naturalne); (b) operacje na takich strukturach muszą mieć charakter kombinatoryczny, a więc muszą być efektywne; (c) pojęcia abstrakcyjne, takie jak pojęcie dowolnego zbioru, operacji czy konstrukcji, nie są uprawnione w matematyce &lt;orig&gt;(finitystycznej)&lt;/&gt;.<br>Za twórcę i pierwszego przedstawiciela &lt;orig&gt;finityzmu&lt;/&gt; uznać należy Leopolda Kroneckera (por. uwagi na temat źródeł intuicjonizmu w 1). Istotny wkład do rozwoju matematyki &lt;orig&gt;finitystycznej&lt;/&gt; wniósł Thoralf Skolem (1887­1963). W pracy z roku