推論主義のボキャブラリー