やっぱりこの人、数学そのものと形式的体系を区別できてないみたい