Argument–deduction–proof distinctions originated with logic itself. Naturally, the terminology evolved.