20性器数学最大の業績が集合論