6. Bir cebirsel ispatın algoritmik analizinde, ispatın "doğruluğunun otomatik kontrolü" hangi durumda mümkün olur?
A) İspat sezgisel argümanlara dayandığında
B) İspatın her adımı matematiksel olarak formalize edilebildiğinde
C) İspat çok uzun olduğunda
D) İspat görsel öğeler içerdiğinde
