For any characteristic of the program's eventual output, it is impossible to determine whether this characteristic will hold.
من أجل أية خاصية للخرج النهائي للبرنامج ، فإنه من المستحيل تحديد ما إذا كان سوف يتم التوصل لهذه الخاصية.