Bàn phím:
Từ điển:
 
formaliser

ngoại động từ

  • (lôgic) hình thức hóa