British set theorist and philosopher;