Ön kabul, Tanım ve Tartışma
Görsel Matematik ile uğraşanlar bilirler ki formal yollarla bir şeyi iddia etmek için üç şeye ihtiyaç vardır: Aksiyom, tanım ve çıkarım kuralları. Her şey aksiyomlarla başlar. Öncelikle bir grup olguyu kabul etmeniz gerekir. Bunlar olmaksızın üzerine akıl yoracağınız ve argüman geliştireceğiniz bir zemin olmaz. Bir grup aksiyomu kabul ettikten sonra ilk yapmanız gereken şey ise tanımlamadır. Tanımlar, mevcut önermeler üzerine yapılırlar ve sisteme yeni bir bilgi eklemezler. Bunlar daha ziyade dilin imkanını genişletmeye yöneliktir. Son olarak ise çıkarım kuralları devreye girer. Bunlar mevcut aksiyomlar ve tanımlar ışığında yeni doğrulara nasıl ulaşacağınızı gösterir. Çıkarım kuralları yeni sonuçlar doğurdukça bu sonuçlar isimlendirilir, sınıflandırılır ve teorem adını verdiğimiz daha dolaylı doğrular olarak doğrular çantamıza eklenir. En nihayetinde elimizdekiler ışığında yeni problemler ve bu problemleri çözmek niyetiyle yeni araçlar tanımlanır. Bu süreç böyle devam eder ve nih...