Decidability in Math