El principio del buen orden es un lema que establece que todo conjunto que esté formado únicamente por números naturales tiene un primer elemento.