Câu ví dụ
- The topological support is the closure of the set-theoretic support.
Giá tô pô là bao đóng của giá lý thuyết tập hợp (set-theoretic support). - (∖ can also be used for set-theoretic complement as described below.) {1,2,4} − {1,3,4} =
Xét chữ số 1 đơn vị có 10 số : 1 ; 11 ; 21 ; 31 ; 41 ; 51 ;61 ; 71 ; 81 ; 91 - Lacan also made extensive use of concepts from set-theoretic number theory: see e.g. Miller (1977/78) and Ragland-Sullivan (1990).
Lacan cũng đã sử dụng rất tích cực các khái niệm lý thuyết số lý thuyết tập: xem chẳng hạn Miller (1977/78) và Ragland-Sullivan (1990). - 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 ).
