The first axiom is clear; the second follows because a universal Turing machine can simulate M on x while counting its steps.
Το πρώτο αξίωμα είναι σαφές, το δεύτερο ακολουθεί, διότι μια καθολική μηχανή Τιούρινγκ μπορεί να προσομοιώσει M στο x , ενώ μετράει τα βήματά της.