A System Logic that integrates the sequence of the machine language code