dla istniejącej matematyki, ile raczej interpretująca ją zgodnie z przyjętymi zasadami i odrzucająca (w większym czy mniejszym stopniu) metody i wyniki, które nie odpowiadają tym zasadom.<br>Prądy konstruktywistyczne pojawiły się w ostatniej ćwierci XIX wieku jako reakcja na gwałtowny rozwój wysoce abstrakcyjnych pojęć i metod w matematyce inspirowany powstaniem teorii mnogości Cantora.<br>Jednym, chyba najbardziej rozwiniętym, z kierunków konstruktywistycznych jest intuicjonizm, który omówiliśmy w poprzednim paragrafie. Inne to &lt;orig&gt;finityzm&lt;/&gt;, &lt;orig&gt;ultraintuicjonizm&lt;/&gt; (zwany też &lt;orig&gt;ultrafinityzmem&lt;/&gt; lub aktualizmem), &lt;orig&gt;predykatywizm&lt;/&gt;, 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