ここの一進法発案者って数学基礎論しらないのか?