>>59
そうだったね
ループがあるから木ではないし、
それ以前にそれぞれの節から枝が無限に出ているから数学的帰納法的な探索は使えない

拡大解釈過ぎるにも程がある