POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.ml • 11 hours agoWhat's your favorite unbelievable fact?message-squaremessage-square30 fedilinkarrow-up139
arrow-up139message-squareWhat's your favorite unbelievable fact?POTOOOOOOOO@reddthat.com to Asklemmy@lemmy.ml • 11 hours agomessage-square30 Commentsfedilink
minus-squareCollatz_problem [comrade/them]hexbear3·5 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.