Set theory
1981年には、量子論理に基づく集合論である量子集合論を導入している。