POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 6 days agoWhat's your favorite unbelievable fact?message-squaremessage-square195fedilinkarrow-up1149arrow-down12
arrow-up1147arrow-down1message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 6 days agomessage-square195fedilink
minus-squareCollatz_problem [comrade/them]@hexbear.netlinkfedilinkEnglisharrow-up8·6 days agoConsistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent.
Consistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent.
k