POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 1 day agoWhat's your favorite unbelievable fact?message-squaremessage-square158fedilinkarrow-up1115arrow-down12
arrow-up1113arrow-down1message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.mlEnglish · 1 day agomessage-square158fedilink
minus-squareCollatz_problem [comrade/them]@hexbear.netlinkfedilinkEnglisharrow-up8·18 hours 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