I think the fact is that although predicate logic is a foundation of mathematics, it is not what mathematicians spend the majority of their time thinking deeply about. You might use English every day of your life, but still struggle to explain what a transitive verb is, or a gerund.