The link between logic and mathematics has long been recognized by theorists from various fields. For instance, the mathematician, Bertrand Russell (1919), described logic and math as intrinsically...