Hola Nicolás. Hay varias versiones del PBO, se puede enunciar con los naturales, con los enteros positivos o incluso con cualquier subconjunto de enteros acotados inferiormente (siempre que sean no vacios).
Todas las versiones son equivalentes y todas son correctas (si lo enunciastes con enteros positivos está bien).
Solo para aclarar, en el curso tomamos el 0 como número natural.
Saludos,
Claudio.