The claim conflates provability within a specific weak system with a stronger metaphysical claim abo...