Similar fun at this Baez blog post from a decade ago: Surprises in Logic: https://math.ucr.edu/home/baez/surprises.html