@user21820: Hi. Sometimes I have a problem that I don’t know whether a proof that I have written is correct or not. So I ask about to others for review. How do I know that my proof is correct without confirming/ getting it reviewed by anyone? Is this possible? I ask you because once you suggested me to learn FOL and I think that my problem is because of not knowing that enough.