Talk:First-order theory

From Free net encyclopedia