Revision as of 20:01, 20 November 2005 edit Archelon (talk \| contribs) Extended confirmed users 1,127 edits m typo →Introducing new function symbols ← Previous edit		Revision as of 06:22, 17 August 2006 edit undo Mhss (talk \| contribs) Extended confirmed users 1,457 edits mNo edit summary Next edit →
Line 66: This version of the axiom schema of replacement is now suitable for use in a formal language that doesn't allow the introduction of new function symbols. Alternatively, one may interpret the original statement as a statement in such a formal language; it was merely an abbreviation for the statement produced at the end. [[Category:Model theory]] [[zh:泛函谓词]]

Functional predicate: Difference between revisions