formal system

Türkçe: biçimsel sistem

Açıklama: Biçimsel sistem; aksiyom ve kurallardan oluşan sistem