This "deal" seems to incorporate "let's agree to disagree" by reference. I think Gödel worked up something about this in his incompleteness proofs.