display all the ideas for this combination of texts
3 ideas
14426 | A definition by 'extension' enumerates items, and one by 'intension' gives a defining property [Russell] |
8721 | An 'impredicative' definition seems circular, because it uses the term being defined [Friend] |
8680 | Classical definitions attempt to refer, but intuitionist/constructivist definitions actually create objects [Friend] |