Việt
hệ hình thức
log. chủ nghĩa hình thức
Anh
formal system
formalism
log. chủ nghĩa hình thức, hệ hình thức
formal system, formalism /toán & tin/