POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 2 months agoWhat's your favorite unbelievable fact?message-squaremessage-square195fedilinkarrow-up1150arrow-down12
arrow-up1148arrow-down1message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 2 months agomessage-square195fedilink
minus-squareCollatz_problem [comrade/them]@hexbear.netlinkfedilinkEnglisharrow-up8·2 months 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