Kalkuluaren oinarrizko teorema - Hizkuntzak