first-order theory - Turkish English Dictionary