formal parameter vs postulation

formal parameter

noun
  • An abstract representation, typically including a name and a type, of a parameter expected to be passed to a method or function. 

postulation

noun
  • Something self-evident that can be assumed as the basis of an argument. 

  • The act of postulating or something postulated. 

How often have the words formal parameter and postulation occurred in a corpus of books? (source: Google Ngram Viewer )