原命题是:对于所有集合S,S真包含于N(自然数集),那么存在t∈S,使得 |t| ≥ 1