Comment by alisonkisk

The person you were replying to is not a native speaker either, and also is not knowledgeable about the core ideas of logical systems (as other commenters have already explained).