POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.ml • 15 hours agoWhat's your favorite unbelievable fact?message-squaremessage-square32 fedilinkarrow-up143
arrow-up143message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.ml • 15 hours agomessage-square32 Commentsfedilink
minus-squareCollatz_problem [comrade/them]hexbear3·8 hours agoConsistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent. link
Consistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent.