Logic has sometimes been defined as mathematics without numbers, while some may argue that mathematics is actually logic with ...