完全性定理は、「一階述語論理は」完全だ、という定理だけど、
普通に数学をやる時は一階述語論理かどうかなんてどうでも良い

超準解析とかやるときは少々関係してくるけど