axiomatization

Türkçe: aksiyomlaştırma

Açıklama: Aksiyomatizasyon; bir teoriyi aksiyomlardan türetme işlemi