"intuitionism" - key terms from Wikipedia