Bàn phím:
Từ điển:
 
axiomatizable
  • tiên đề hoá được