Languages and the Consistency