Câu ví dụ
- Although modal logic is not often used to axiomatize mathematics, it has been used to study the properties of first-order provability (Solovay 1976) and set-theoretic forcing (Hamkins and Löwe 2007).
Mặc dù logic phương thức không thường được sử dụng để tiên đề toán học, nhưng nó đã được sử dụng để nghiên cứu các tính chất của chứng minh bậc nhất (Solovay 1976) và lý thuyết tập hợp (Hamkins và Löwe 2007). - Although modal logic is not often used to axiomatize mathematics, it has been used to study the properties of first-order provability (Solovay 1976) and set-theoretic forcing (Hamkins and Löwe 2007).
Mặc dù logic phương thức không thường được sử dụng để tiên đề toán học, nhưng nó đã được sử dụng để nghiên cứu các tính chất của chứng minh bậc nhất ( Solovay 1976 ) và lý thuyết tập hợp ( Hamkins và Löwe 2007 ).
