Lặp thừa (logic học)