Definition talk:Undefined Term

From ProofWiki
Jump to navigation Jump to search

Worth creating a category for undefined terms? --GFauxPas 06:48, 26 June 2012 (UTC)

Not sure what could be in there. Mostly this stuff is adequately dealt with by introducing appropriate axioms and eventually a Definition:Formal System. But I may be missing your point. --Lord_Farin 08:29, 26 June 2012 (UTC)
What would be in there would be, off the top of my head: set, element, true, false, point, equals --GFauxPas 11:26, 26 June 2012 (UTC)
What might be an undefined term in certain axiom schemata may well be the consequence of a more fundamental set of definitions in another. So: no. --prime mover 13:11, 26 June 2012 (UTC)