intuitionism

intuitionist logic