A science (or group of related sciences) dealing with the logic of quantity and shape and arrangement