0785132人目の素数さん垢版 | 大砲2018/05/14(月) 15:24:35.59ID:2GEhKktX propertyって定理なんですね 求める帰結を得るのに、その帰結を用いることって数学では許されてることなんでしょうか なんか再帰性みたいな感じで