Input: Text: Siya ay nagtrabaho sa teorya ng topoi na kung saan ay mataas ang kaugnayan sa matematikal na lohika.
Output: Tagalog