Việt
Hệ thống chính thức
Anh
Formal system
axiomatics
system of formal logic
Đức
formal-logisches System
Pháp
axiomatique
ensemble de formules
système formel
théorie
axiomatics,formal system,system of formal logic /IT-TECH/
[DE] formal-logisches System
[EN] axiomatics; formal system; system of formal logic
[FR] axiomatique; ensemble de formules; système formel; théorie