Anh
axiomatics
formal system
system of formal logic
Đức
formal-logisches System
Pháp
axiomatique
ensemble de formules
système formel
théorie
axiomatique,ensemble de formules,système formel,théorie /IT-TECH/
[DE] formal-logisches System
[EN] axiomatics; formal system; system of formal logic
[FR] axiomatique; ensemble de formules; système formel; théorie