Matematik

Çin Kalan Teoremi eşzamanlı kongrüansları çözer İLE modüler aritmetik kalanlı işlemleri kullanır.

Eşitsizlik , eşitlik = ilişkisidir

Açık değişken içerir, kapalı kesin doğru/yanlıştır

Diskriminant kök durumunu İLE kök çözümü verir

Reel gerçek sayı, kompleks sanal kısım içerir

Homojen aynı dereceli İLE heterojen farklı derecelidir

Sözdizim biçimsel yapı kuralları İLE anlambilim anlamsal yorumlama kurallarıdır. Sözdizim simgelerin dizilişi İLE anlambilim simgelerin anlamıdır. Programlama dillerinde sözdizim derleme İLE anlambilim çalıştırma aşamasında önemli.

Berry paradoksu "on iki sözcükten az ile tanımlanamayan en küçük sayı" İLE tanımlama paradoksu dil ve meta-dil karışımıdır. Berry paradoksu kendini tanımlarken çelişki yaratır İLE doğal dilin mantıksal sınırlarını gösterir.

Mümkün dünyalar mantıksal olasılıklar İLE gerçek dünya fiili durumdur. Kripke semantiği mümkün dünyalar çerçevesinde İLE modal mantık ifadelerini değerlendirir. Zorunluluk tüm mümkün dünyalarda doğruluk.

Uygunluk kuramı doğruluk gerçeğe uygunluk İLE tutarlılık kuramı doğruluk iç tutarlılıktır. Uygunluk dış dünya ile uyum İLE tutarlılık sistem içi uyumdur. Uygunluk klasik İLE tutarlılık tutumlu yaklaşımdır.

Simetrik değişkenler değişince aynı İLE asimetrik değişir

Nokta boyutsuz İLE doğru tek boyutludur

Doğru sonsuz İLE doğru parçası sınırlıdır

Işın tek yönlü sonsuz İLE doğru parçası iki ucu sınırlıdır

Dar açı 90°

Tümler 90°, bütünler 180° tamamlar

İç açı içerde İLE dış açı dışardadır

Eşkenar tüm kenarlar, ikizkenar iki kenar eşittir

Paralelkenar iki çift İLE yamuk bir çift paralel kenardır

Çevre kenar toplamı İLE alan iç bölge ölçüsüdür