Matematiğin temel taşlarından biri olan işaret kuralları, öğrencilere ilk yıllarda "eksi ile eksi artı eder" gibi kesin gerçekler gibi sunulur. Ancak bu kurallar, tarihsel bir evrim sürecinin sonucunda, aksiyomların ve sembolik sistemlerin geliştirilmesiyle ortaya çıkmıştır. Pozitif ve negatif sayıların çarpımının sonuçları, sadece günlük yaşam örnekleriyle açıklanmak yerine, cebirin içsel tutarlılığına dayandırılan bir dizi mantıksal adımın ürünüdür.
Negatif sayılar, yüzyıllar boyunca borç, sıcaklık düşüşü ya da yön gibi somut kavramlarla betimlenmeye çalışılmıştır. Örneğin, "‑5 × 3 = ‑15" ifadesi, üç kez beş liralık borcun toplamını gösterir. Ancak "‑4 × ‑4 = 16" gibi bir çarpımın fiziksel bir karşılığı yoktur; bu tür örnekler, cebirsel kuralların yalnızca gündelik benzetmelerle açıklanamayacağını ortaya koyar. Matematikçiler, bu eksikliği gidermek için işlemlerin anlamını dışsal metaforlardan ziyade, sistemin kendi tutarlı kurallarından türetmeye yöneldiler.
Standart cebirde çarpmanın değişmezliği (a × b = b × a) gibi özellikler, seçilen aksiyomların bir sonucudur. Ancak kuaterniyonlar gibi alternatif sayısal sistemlerde çarpmanın sırası sonucu etkiler; bu da cebir kurallarının mutlak olmadığını gösterir. İşaret kurallarına aynı yaklaşım uygulanabilir: "‑1 × ‑1 = 1" sonucunu, çarpmanın dağıtım özelliği ve "1 × ‑1 = ‑1" kabulüyle kanıtlayabiliriz. Bu kanıt, hâlihazırda kabul edilen başlangıç kabullerine dayanır; farklı bir aksiyom seti seçilirse sonuç değişebilir.
Örneğin, yeni bir cebir sistemi tanımlayalım: pozitif × pozitif = pozitif, negatif × pozitif = negatif, pozitif × negatif = pozitif. Bu sistemde çarpmanın sırası değişir; negatif × pozitif = negatif iken pozitif × negatif = pozitif olur. Aynı dağıtım adımlarını uyguladığımızda, "‑1 × ‑1" sonucunun "‑1" elde edildiğini görürüz. Bu sonuç, alıştığımız standart cebire aykırı olsa da, yeni aksiyomların tutarlı bir yapı içinde çelişki yaratmaz. Matematikçiler, yeni bir sistem kurduklarında mevcut cebiri geçersiz kılmaz; sadece farklı kurallarla çalışan ayrı bir matematiksel evren tanımlarlar.
İşlem önceliği ve sembol kullanımının standartlaşması da benzer bir tarihsel süreçle şekillenmiştir. Parantez, üs, çarpma/bölme ve toplama/çıkarma sırasının kabul edilmesi, 18. yüzyıl sonları ve 19. yüzyıl başlarında Avrupa’da cebirin sembolikleşmesiyle paralel bir gelişim gösterir. Fransız matematikçiler, sembolleri fiziksel anlamlarından bağımsız olarak işleyebilen analiz yöntemleri geliştirmiş, İngiltere ise bu yenilikleri George Peacock, Charles Babbage ve John Herschel’in Cambridge Analytical Society çabalarıyla yakından takip etmiştir. Bu uzun standartlaşma süreci, bugün cebirsel ifadeleri otomatik olarak yorumlayabilmemizin temelini oluşturur.
Sonuç olarak, "eksi ile eksi neden artı eder?" sorusunun yanıtı sadece "çünkü kural böyle" ifadesiyle sınırlı kalmaz. Standart cebirde bu sonuç, kabul edilen aksiyom ve dağıtım kurallarından zorunlu olarak çıkar. Farklı başlangıç kurallarıyla kurulan alternatif cebir sistemleri ise, aynı soruya farklı bir yanıt verebilir. Matematiğin bu çok katmanlı yapısı, kuralların evrensel gerçekler değil, belirli bir yapı içinde tutarlı bir biçimde ortaya çıkan sonuçlar olduğunu hatırlatır.
