 Thus Fermat’s [Last Theorem] makes no sense until I can search for a solution to the equation in cardinal numbers. And ‘search’ must always mean: search systematically. Meandering about in infinite space on the look-out for a gold ring is no kind of search. (PR §150)