I_D_Sparse comments on Double Crux — A Strategy for Mutual Understanding

[I_D_Sparse]

Yes, but the idea is that a proof within one axiomatic system does not constitute a proof within another.