1.Previous
3.Next

arithmetic with ~G is also consistent. However, since ~G states that arithmetic is inconsistent, arithmetic with ~G will not be ?-consistent (because ~G is false and this violates ?-consistency).

From an ultraproduct

Another method for constructing a non-standard model of arithmetic is via an ultraproduct. A typical construction uses the set of all sequences of natural numbers, . Choose a free ultrafilter on

1.Previous
3.Next