Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Axiom
Функция может получить тип в качестве аргумента, и её возвращаемое значение также может быть типом. Например, codice_1 — функция, получающая codice_2 в качестве аргумента, и возвращающая поле отношений своего аргумента. В качестве другого примера кольцо formula_1 матриц действительных чисел может быть построено как codice_3. Конечно, если работать в этом домене, codice_4 интерпретируется как единичная матрица и codice_5 позволяет получить обратную матрицу codice_6, если она существует.