proof by infinite descent - Fransızca İngilizce Sözlük