_"A type is defined as the range of significance of a propositional function, i.e., as the collection of arguments for which the said function has values." -- Bertrand Russell, 1908_ ### See also ### '[[nlab:type|Type]]' on the nLab wiki.