Hmm. According to that, the theorem applies to propositional logic. Propositional logic is a very weak system; I don't think it can state the Riemann hypothes

Hmm. According to that, the theorem applies to propositional logic. Propositional logic is a very weak system; I don't think it can state the Riemann hypothesis. Edit: I take that back: propositional logic definitely can't state the Riemann hypothesis. PropLog is complete, which means that by Goedel's incompleteness theorem it can't even model the natural numbers, much less the complexes.