[[Caratteristica]] di un [[modello]].

Indica che il modello è equivalente a una [[macchina di Turing]], e quindi capace di computazione universale.

Qualsiasi modello universale è anche [[indecidibile]] per via dell'[[halting problem]].