intuitionism

not defined yet