“2是正数”的否定形式