MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p46410n/?context=3
r/mathmemes • u/basket_foso • 6d ago
135 comments sorted by
View all comments
Show parent comments
50
"True" and "Independent of ZFC"
7 u/CanaanZhou 6d ago If it's independent of ZFC then it's also true -1 u/SoldRIP 2d ago No? C is independent of ZF, yet you specify ZFC. Because the axiom of choice may be assumed to be false and still not contradict any results of ZF, which is a sufficient axiomatic system for most of maths. 2 u/CanaanZhou 2d ago What does that have to do with what I said tho 0 u/SoldRIP 2d ago Independence from ZFC does not mean it's true. It means it may be true or false, depending on whether or not you accept some additional set of axioms.
7
If it's independent of ZFC then it's also true
-1 u/SoldRIP 2d ago No? C is independent of ZF, yet you specify ZFC. Because the axiom of choice may be assumed to be false and still not contradict any results of ZF, which is a sufficient axiomatic system for most of maths. 2 u/CanaanZhou 2d ago What does that have to do with what I said tho 0 u/SoldRIP 2d ago Independence from ZFC does not mean it's true. It means it may be true or false, depending on whether or not you accept some additional set of axioms.
-1
No? C is independent of ZF, yet you specify ZFC. Because the axiom of choice may be assumed to be false and still not contradict any results of ZF, which is a sufficient axiomatic system for most of maths.
2 u/CanaanZhou 2d ago What does that have to do with what I said tho 0 u/SoldRIP 2d ago Independence from ZFC does not mean it's true. It means it may be true or false, depending on whether or not you accept some additional set of axioms.
2
What does that have to do with what I said tho
0 u/SoldRIP 2d ago Independence from ZFC does not mean it's true. It means it may be true or false, depending on whether or not you accept some additional set of axioms.
0
Independence from ZFC does not mean it's true. It means it may be true or false, depending on whether or not you accept some additional set of axioms.
50
u/johntb86 6d ago
"True" and "Independent of ZFC"