Truth versus provability

• Semantics: Mathematical truth and falsehood
• All statements are either true or false
• Syntax: string manipulation
• Initial set of ‘axiom’ strings
• New strings via ‘rules of inference’
• Syntactic ‘provability’
• Possible for neither “A” nor “not A”?