The main difficulty lies in an automated discovery of the Cantor diagonal set.
Η κύρια δυσκολία έγκειται σε μια αυτοματοποιημένη ανακάλυψη του διαγώνιου συνόλου του Καντόρ.