intuitionism
Related entries include:
excluded middle, law of
;
non-contradiction
;