原命题是“有的四边形是正方形”

其否定命题，下面哪个最标准？（或者表述最规范）

1、没有四边形是正方形

2、不存在正方形的四边形

3、不存在四边形是正方形

4、任意四边形不是正方形

5、任意四边形都不是正方形

语言学方面解释都可以。
数学最规范的是4？存在A,有B；任意A,没有B。
--
修改:weiminglake FROM 202.108.199.*
FROM 202.108.199.*