abstraction and proof - Almanca İngilizce Sözlük