Every finite or cofinite subset of the natural numbers is computable.
Κάθε πεπερασμένο ή συμπεπερασμένο υποσύνολο των φυσικών αριθμών είναι υπολογίσιμο.