Forwarded from slanterns w/ 🦀
喵喵小喵喵
https://math.stackexchange.com/a/107669
vxTwitter / fixvx
💖 71 🔁 3
💖 71 🔁 3
Elliot Glazer (@ElliotGlazer)
Hot take: if ZFC is found inconsistent, Peano Arithmetic will almost certainly fall within a year. ZFC is equiconsistent with ZFC + V = L, and replacing Inf with its negation gets PA. The theories are structurally extremely similar.
【QRT of Elliot Glazer…
【QRT of Elliot Glazer…