Talk:First-order predicate

From Wikipedia, the free encyclopedia