11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
11218 | Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta] |
9960 | A stipulative definition lays down that an expression is to have a certain meaning [Mautner] |
8680 | Classical definitions attempt to refer, but intuitionist/constructivist definitions actually create objects [Friend] |