non-standard model of arithmetic

model of (first-order) Peano arithmetic that contains non-standard numbers

Categories: