Đặt câu với từ "exactness axiom"

1. Axiom comes with an extension language called SPAD.

Язык расширений Axiom называется SPAD.