自然数集包含在实数集中,根据充分条件定义,由“自然数集”推出“实数集”,故而自然数是实数的充分条件