[pattt]

Fully agreed, the way I'd approach this would be that the said mathematical proofs about certain truths "by definition" rely on human logic as the main building block and substrate. Logic is a human basis of agreeing which seems necessary evolutionary. Counting and separating observable objects turned out to be quite necessary for survival as well. Hence this statement seems to imply that aliens would need to have a corresponding logic reasoning system and observational abilities. If that was the case perhaps there would be a strong inclination to believe that the isomorphic reasoning would be deduced.