| 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] |