abstraction and proof - İngilizce Eşanlam Sözlük