Finite Mathematical Systems