tzn. definiowalne za pomocą formuł arytmetycznych bez kwantyfikatorów wiążących zmienne zbiorowe (a więc definiowalne predykatywnie). Okazało się, że tak ograniczone środki są wystarczająco mocne, by za ich pomocą zbudować znaczną część analizy. Dodajmy tu, że w &lt;name type="tit"&gt;Das Kontinuum&lt;/&gt; (i w innych pracach z zakresu podstaw matematyki) Weyl reprezentował stanowisko fenomenologiczne (bliskie fenomenologii Husserla).<br>W latach dwudziestych H. Weyl związał się z intuicjonizmem Brouwera, by pod koniec życia zerwać zarówno z nim, jak i w ogóle z podstawami matematyki. Jego dzieło kontynuowane było przez Paula Lorenzena (1915­1994) w latach pięćdziesiątych. W tym też okresie zauważyć się daje wyraźny renesans zainteresowań &lt;orig&gt;predykatywizmem