6. Bir matematiksel ispatın algoritmik yaklaşımla incelenmesi sürecinde, aşağıdaki özelliklerden hangisi aranmaz?
A) Algoritmanın sonlu sayıda adımdan oluşması
B) Her adımın net ve anlaşılır olması
C) Algoritmanın sezgisel olması
D) Algoritmanın deterministik olması