Meanwhile, this question which is what about predicativism even means (and how it relates to constructivism) remains unanswered. ❧ See also this answer about the system proposed by Hermann Weyl and formalized by Feferman that is mentioned in @MikhailKatz's earlier comment.
↧