в дальнейшем иногда будем рассматри

в дальнейшем иногда будем рассматривать такие логические формулы, которые зависят не от высказывательных переменных, а от переменных, определенных ра каком-либо конечном или бесконечном множестве элементов

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

đôi khi trong tương lai, chúng tôi sẽ xem xét các công thức hợp lý mà phụ thuộc không phải trên propositional biến, và biến xác định bởi RA bất kỳ mục tiêu hoặc một tập vô hạn các phần tử

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

trong tương lai đôi khi chúng ta xem xét công thức hợp lý như vậy mà không phụ thuộc vào các biến mệnh đề và các biến được định nghĩa ra bất kỳ tập hữu hạn hoặc vô hạn của các yếu tố