Now let us show that there is no co

Now let us show that there is no constant c, such that the answer set S of Bf contains flies(c) and flies'(c). Suppose that flies'(c) £ S. By Lemma 2.4, flies(c) £ S' iff the premise
bird(c), not ab(r 1, c), not f lies'[c)
of rule (11) is satisfied by S, which is obviously not the case.
A similar argument works for make-top. By Proposition 2.2, this implies that II is categorical.

Kết quả (Việt) 1:

Bây giờ hãy cho chúng tôi hiển thị là có không c liên tục, như vậy mà câu trả lời đặt S Bf có chứa flies(c) và flies'(c). Giả sử rằng flies'(c) £ S. Bởi bổ đề 2.4, flies(c) £ S' iff tiền đềBird(c), không phải là ab (r 1, c), không phải f lies'[c)thời kỳ cai trị (11) là hài lòng bởi S, rõ ràng không phải là trường hợp.Lý luận tương tự như hoạt động cho thực hiện-top. Bởi Döï Luaät 2.2, điều này ngụ ý rằng II là categorical.

Kết quả (Việt) 2:

Bây giờ chúng ta thấy rằng không có hằng số c, như vậy là câu trả lời tập S của Bf chứa ruồi (c) và bay '(c). Giả sử có nhiều '(c) £ S. Bằng Bổ đề 2.4, ruồi (c) £ S' nếu và chỉ nếu tiền đề
chim (c), không ab (r 1, c), không phải f dối '[c)
các quy tắc (11) được thỏa mãn bởi S, mà rõ ràng là không phải vậy.
Một lập luận tương tự như việc cho make-top. By Dự 2.2, điều này hàm ý rằng II là phân loại.