Math Based Logic