formal proof

Türkçe: biçimsel kanıt

Açıklama: Biçimsel ispat; aksiyomlardan türetilen ispat