PERSON@1 was by this time increasingly tired of philosophy and envisaged PERSON@2 as his successor who would carry on his work in the foundations of mathematics .

PERSON@1 saw PERSON@2 as a successor who would carry on his work .
