結果 : non-deductive methods in mathematics