Bàn phím:
Từ điển:
 
axiomatizability
  • tính tiên đề hoá
  • finite a. tính tiên đề hoá hữu hạn