Matematika a logika