Kết cấu ( số lý logic )

Ở toán học ngành họcMô hình luậnTrung,Ngôn ngữ${\mathcal {L}}$Kết cấu${\mathfrak {A}}$( cũng gọi là '${\mathcal {L}}$- kết cấu ', cũng thông thường viết vì Gothic thể viết hoa ) là một cáiCó tự đối,Nó cái thứ nhất thành viên làLuận vựcHoặcToàn tập${\mathit {A}}\$( đối ứng với khả năng có chứa định nghĩa ở trên đóQuan hệCùngHàm sốTập hợp, cũng thông thường viết vì tương ứng với kết cấu tên La Mã thể viết hoa ), nó cái thứ hai thành viên là một cáiGiải thích${\mathcal {I}}$,Chính là${\mathcal {L}}$Một cái thiên hàm số, nó hoàn toàn định nghĩa ở${\mathcal {L}}$Phi logic ký hiệuPhía trên, khiến cho${\mathcal {L}}$Đại lượng không đổi ký hiệu đối ứng với${\mathit {A}}\$Thượng nguyên tố, nếu có lời nói;${\mathcal {L}}$Hàm số ký hiệuĐối ứng với${\mathit {A}}\$Thượng hàm số, nếu có lời nói; mà${\mathcal {L}}$Quan hệ ký hiệu đối ứng với${\mathit {A}}\$Thượng quan hệ; nếu có lời nói.

Cách dùng chú thích

Ở mô hình luận trung sử dụng thuật ngữMô hình,Bản chất là "Kết cấu" từ đồng nghĩa, nhưng là ý đồ dùng ở bất đồng trên dưới văn trung. Điển hình, thuật ngữ "Mô hình" tại đầu não trung có một cái riêngLý luậnThời điểm sử dụng, hơn nữa chỉ suy xét vì cái này lý luận mô hình, — chính là nói thỏa mãn ở cái này lý luận trung sở hữu câu kết cấu. Ở về phương diện khác, "Kết cấu" ý đồ ở khuyết thiếu đối loại này kết cấu hành vi biết hoặc quy định thời điểm sử dụng.

Kết cấu cùng nhất giai logic

Thỏa mãn quan hệ (Satisfaction relation)

Mỗi cái nhất giai logic kết cấu đều có một cái "Thỏa mãn quan hệ". Này quan hệ là sử dụngT-schemaQuy nạp định nghĩa.