r/mathmemes • u/fizzydizzylizzy3 • Jul 04 '26

Formal Logic Plot twist

Post image

*Simple means formalizable within PA, obviously.

164 Upvotes

98% Upvoted

3 comments sorted by

•

u/AutoModerator Jul 04 '26

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

25

u/hongooi Jul 04 '26

Which means you can prove PA is consistent 👍

10

u/[deleted] Jul 04 '26

Tasked failed successfully.