Bir matematikçi şu çıkarımı yapar: "Tüm üçgenlerin iç açıları toplamı 180 derecedir. ABC bir üçgendir. O halde ABC üçgeninin iç açıları toplamı 180 derecedir."
Bu çıkarımın geçerli olması için aşağıdaki koşullardan hangisi gereklidir?
A) ABC'nin gerçekten üçgen olduğunun gözlemlenmesi
B) Üçgen tanımının doğru yapılmış olması
C) Öncüllerin doğru kabul edilmesi
D) Matematiksel aksiyomların evrensel olması