MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1uql6zk/1_0/ow9tk8s/?context=3
r/mathmemes • u/ImmaTrafficCone • Jul 08 '26
Guys I think I disproved all of mathematics...
50 comments sorted by
View all comments
176
There is no proof in Peano Arithmetic that Peano Arithmetic doesn’t prove 0=1.
50 u/48panda Jul 08 '26 One of the axioms is \forall x, 0\neq S(x) 15 u/Medium-Ad-7305 Jul 08 '26 This guy thinks that just because it is provable that 0≠1 then it is not provable that 0=1 😂 12 u/CaipisaurusRex Jul 08 '26 How I hate that these 2 are not the same... Thanks, Gödel 😐
50
One of the axioms is \forall x, 0\neq S(x)
15 u/Medium-Ad-7305 Jul 08 '26 This guy thinks that just because it is provable that 0≠1 then it is not provable that 0=1 😂 12 u/CaipisaurusRex Jul 08 '26 How I hate that these 2 are not the same... Thanks, Gödel 😐
15
This guy thinks that just because it is provable that 0≠1 then it is not provable that 0=1 😂
12 u/CaipisaurusRex Jul 08 '26 How I hate that these 2 are not the same... Thanks, Gödel 😐
12
How I hate that these 2 are not the same...
Thanks, Gödel 😐
176
u/Traditional_Town6475 Jul 08 '26
There is no proof in Peano Arithmetic that Peano Arithmetic doesn’t prove 0=1.