User blog comment:KthulhuHimself/Library Function/@comment-4224897-20151105021001/@comment-2033667-20151105030632

The entire reason we define formal systems such as PA, ZFC, CoC, FOST, FOOT is to escape the problems of using natural language as a mathematical foundation.