Thus one can show that if a structure M interprets another whose theory is undecidable, then M itself is undecidable.
Με αυτόν τον τρόπο, μπορεί να δειχτεί ότι αν μια δομή M ερμηνεύει κάποια άλλη δομή, της οποίας η θεωρία είναι μη-υπολογίσιμη, τότε η ίδια η M είναι μη-υπολογίσιμη.