Bir önermenin cebirsel ispatı ile ilgili aşağıdaki ifadelerden hangisi yanlıştır?
A) Matematiksel semboller ve denklemler kullanılır
B) Mantıksal çıkarımlarla sonuca ulaşılır
C) Sadece sayısal değerler test edilerek doğrulanır
D) Aksiyom ve teoremler temel alınır