This branch is quite similar to intuitionism, but with its focus on predicatively defined sets. It argues that mathematical objects must be explicitly constructed and that the use of the "law of excluded middle" and the "axiom of choice" is problematic.