Sort logic is an alternative way of looking at mathematics where definition rather than construction...