Abstract Mathematical Systems