El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él.