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 tha

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.