Revision history of "Rewriting for-all and exists within set theory"

From Maths
Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 17:26, 8 March 2017‎ Alec (Talk | contribs)‎ . . (1,914 bytes) (+1,914)‎ . . (Created page with "{{Stub page|grade=A*|msg=Flesh out, check, link to formal logic}} __TOC__ ==Statement== Let {{M|\varphi(x,a_1,\ldots,a_n)}} be any "predicate" or {{link|formula|FOL}} where {{...")
Retrieved from "https://wiki.unifiedmathematics.com/index.php?title=Rewriting_for-all_and_exists_within_set_theory"