Classifying topoi in synthetic guarded domain theory the universal property of multi-clock guarded recursion