In practice, real machines (including humans) have finite resources and will have difficulty proving many theorems.
V praxi mají skutečné stroje ("včetně člověka") omezené zdroje a budou mít, stejně jako stoj, potíže s dokazováním mnoha vět.