binomial theorem: a theorem giving the expansion of a binomial raised to a given power
abstraction: a general concept formed by extracting common features from specific examples
intuitionism: (philosophy) the doctrine that knowledge is acquired primarily by intuition