POTOOOOOOOO@reddthat.com to AsklemmyEnglish · 14 hours agoWhat's your favorite unbelievable fact?message-squaremessage-square112fedilinkarrow-up182arrow-down11
arrow-up181arrow-down1message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to AsklemmyEnglish · 14 hours agomessage-square112fedilink
minus-squareCollatz_problem [comrade/them]@hexbear.netlinkfedilinkEnglisharrow-up4·8 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.