Math and Logics