吳允曾（1018.04.04 –1987.6）北京大學教授，知名數理邏輯學者和電腦科學專家。今天是吳允曾先生誕辰100周年紀念日。
吳允曾先生是可替代集合論（an alternativeset theory）學者，引入中國的第一人。可替代集合論（ast）將zfc公理系統的無窮公理替換為無窮公理的否定而得到的一種新型集合論。在ast中，任何形式上有限的集合a都包含無窮「子類」。也就是說，無限在有限之內，而不在有限之外，是對康康托爾集合論的「背叛」。
ast的創立者是捷克數學家petr vopenka（1935-2015）在上世紀70年代首次創立的。vopenka的代表作是「the mathematicsin the alternative set theory」（1979）。在上世紀80年代，袁萌指出ast與無窮小微積分（非標準分析）的理論聯絡。
袁萌 4月3日