 The philosophy underlying Church’s position is that mathematical proof and logical analysis—as well as other attempts at precise reasoning—should be public and communicable. Just as one should be able to convince an interlocutor that a mathematical proof is really a proof, so one should be able to convince her that an argument more generally is cogent, which will also require convincing her that meaningful assertions have been made. Further, these questions should be addressed by the object language in which one is speaking (although one will often have to look beyond the language to convince an interlocutor that one’s assertions are true):