>>605
無限を排除したいだけの安達氏が超実数なんて持ち出すわけないな