fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 8 days agoTheories on Theoriesmander.xyzimagemessage-square133linkfedilinkarrow-up1630arrow-down118
arrow-up1612arrow-down1imageTheories on Theoriesmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 8 days agomessage-square133linkfedilink
minus-squareCollatz_problem [comrade/them]@hexbear.netlinkfedilinkEnglisharrow-up1·7 days ago the axiomatic system used is proven inconsistent and it can never be proven not to be inconsistent The axiomatic system, containing arithmetic, can be proved to be consistent (without assuming additional axioms) if and only if it is inconsistent!
The axiomatic system, containing arithmetic, can be proved to be consistent (without assuming additional axioms) if and only if it is inconsistent!