Is the 20th Busy Beaver number independent of set theory? | Blockcircle