Statements that assert their own provability must be true (similar to Gödel's incompleteness theorem).
Statements must be true (similar to Gödel's incompleteness theorem). These Statements assert their own provability. Löb did research on proof theory in 1955. This was as a formal version of Löb's paradox. Löb did research on modal logic and computability theory in 1955. This was as a formal version of Löb's paradox. Löb did research on formulated Löb's theorem in 1955. This was as a formal version of Löb's paradox. Löb's paradox was this.