Language In Discrete Math