Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Is Shoenfield's N8 axiom (PG. 22), so to speak, a kind of "Chicxulub"-axiom -- bringing extinction to the completeness of the Presburger arithmetic in the FOL formalization of the "natural numbers"?

56 views
Skip to first unread message

Khong Dong

unread,
Sep 15, 2021, 1:06:06 AM9/15/21
to
Fyi., https://qr.ae/pGcBWP

Khong Dong

unread,
Sep 18, 2021, 2:41:15 AM9/18/21
to
On Tuesday, 14 September 2021 at 23:06:06 UTC-6, Khong Dong wrote:

> Fyi., https://qr.ae/pGcBWP

Fyi., Have added an answer (Nam Nguyen's).
0 new messages