View Single Post
Hurkyl
#6
Sep11-10, 09:24 AM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
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.