Natural numbers are the set of positive integers starting from 1, used for counting and ordering. They are the foundation of number theory and are closed under addition and multiplication but not under subtraction and division.