自然推論の語源って演繹定理からきてんだよ。
当初は自然演繹とよばれてた。
ゲンツェンが数学の記述には
仮定が頻出することから導入した。