A kind reminder that, if P is provable in PA, then P is true where PA is collection of axioms that are incomplete in Kurt Gödel’s second theorem. #Mathematics [permlink]