>>356
それは証明しようとする場合の方針であって、今議論しているのは証明できないという前提においてどういう結論
を得るべきかという話だ