Paradoxes of Rational Agency and Formal Systems that Verify Their Own Soundness