Posted by quoderat on Thursday May 5, 2016

The 8000th Busy Beaver number eludes ZF set theory.