View Single Post
Hurkyl is offline
Sep11-10, 09:24 AM
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
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.