Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics.