自然数とは何か