Oh, the second one comes of wrong. I did mean the parent quote

> A formal system cannot in general prove that it is reliable

I hadn't noticed when I wrote that, formal system is an idiom - even more specific in this specific context. How confusing.