Revision as of 18:19, 18 January 2013 edit RandomDSdevel (talk \| contribs) Extended confirmed users 762 edits →Suggestion to Solve Problems Readers Might Have Reading the 'Functions' Section of this Article: Replied to thread ← Previous edit		Revision as of 18:34, 18 January 2013 edit undo EmilJ (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 11,141 edits →Suggestion to Solve Problems Readers Might Have Reading the 'Functions' Section of this Article Next edit →
Line 66: ::{{In5}}[[User:BCG999\|BCG999]] ([[User talk:BCG999\|talk]]) 18:19, 18 January 2013 (UTC) :::(That was me actually, who fixed it.) The condition of transitivity, <math>\forall x,y,z\,(x R y \wedge y R z \rightarrow x R z)</math>, is quite different from functionality, apart from the superficial fact that it happens to a Horn formula with three universal quantifiers. There is no redundancy here, and there is no sensible way to reduce one to the other. What do you find confusing about it?—[[User:EmilJ\|Emil]] [[User talk:EmilJ\|J.]] 18:34, 18 January 2013 (UTC)

Talk:Implementation of mathematics in set theory: Difference between revisions