>>37
そういう区別があることが分かったのも不完全性定理が出てからですよ