Thread
:
Theorems and isomorphisms
View Single Post
Hurkyl
#
6
Sep11-10, 09:24 AM
Emeritus
Sci Advisor
PF Gold
P: 16,099
A string of text in a formal language is a finite sequence of elements in a set (the alphabet). Metamathematics is, roughly speaking, the hypothesis that formal logic adequately describes "real world" mathematics.