POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 1 year agoWhat's your favorite unbelievable fact?message-squaremessage-square196fedilinkarrow-up1146arrow-down12
arrow-up1144arrow-down1message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 1 year agomessage-square196fedilink
minus-squareCollatz_problem [comrade/them]@hexbear.netlinkfedilinkEnglisharrow-up8·1 year 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