無限公理
【むげんこうり】
【mugenkouri】
无穷性公理