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

1. Axiom comes with an extension language called SPAD.

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