On 6/12/2013 1:57 AM, Bruno Marchal wrote:
Arithmetic is large, and I do not know of any theorem in math which is not a theorem in arithmetic, except in mathematical logic, and universal algebra, which are typically "meta-"mathematics.
What about theorems in calculus and topology? Brent -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to firstname.lastname@example.org. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.