View Single Post
 Emeritus Sci Advisor PF Gold 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.