Revision as of 19:44, 13 May 2012 (view source) Rdm (talk \| contribs) (→‎Quantifiers: new section) ← Older edit		Revision as of 20:19, 13 May 2012 (view source) Rdm (talk \| contribs) (→‎Quantifiers) Newer edit →
Line 182: --[[User:Rdm\|Rdm]] 19:44, 13 May 2012 (UTC) : Put differently: the task asks for a countable set of natural numbers. This would be trivial, except that the peano postulates do not hold for a countable set. --[[User:Rdm\|Rdm]] 20:19, 13 May 2012 (UTC)

Talk:Proof: Difference between revisions

Talk:Proof (view source)