>>995
real numberという単語使ってたので間違い反証完了

ついでに高木式数学では∞も整数に含むのでintegerも俺らのintegerでないので、integerという言葉が出た時点で間違いで反証終わり