Manfred comments on The Cartoon Guide to Löb’s Theorem

[Manfred]

A proof that you cannot prove that 2=1 would be a proof of consistency, so certainly this is a problematic statement.