Comment by gylterud

Pondering mathematical objects such as BB(n) is exactly the kind of stuff which rooks one’s faith in classical logic.