abstraction and proof - Turkish English Dictionary