>>238,239
昔の論文どのくらいまで形式化して論証してるの?
19世紀ぐらいまではそんなに論文数も多くないだろうし
もしかして全部やってる?