>>14200269yes in nonstandard arithmetic. we can construct models of arithmetic that are not the normal natural number system but that have additional elements. these elements can be greater than all the natural numbers, and some of these nonstandard elements will be prime like. the fact that these models exist follows from the compactness theorem.
