İngiltere, Birleşik Krallık'ı meydana getiren dört ülkeden biridir. Ülke, kabaca %62'sini kapladığı Büyük Britanya adasında ve 100'den fazla küçük bitişik adada yer almaktadır. Kuzeyde İskoçya ve batıda Galler ile kara sınırı bulunmaktadır ve doğuda Kuzey Denizi, güneyde Manş Denizi, güneybatıda Kelt Denizi ve batıda İrlanda Denizi ile çevrilidir. Kıta Avrupası güneydoğuda, İrlanda ise batıda yer alır. Başkenti ve en büyük şehri Londra'dır.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Kent, Birleşik Krallık'ın İngiltere ülkesinin Güney Doğu bölgesinde birinci seviyede bir "shire" tipi bir kontluk yerel idaresi ve bir törensel kontluktur. Merkezi "Maidstone" kentindedir. Kent Kontluğunun toplam yüzölçümü 3.736 km² dir.
İngiltere millî futbol takımı, İngiltere'yi ulusal organizyasyonlarda temsil eden futbol takımıdır ve İngiltere Futbol Federasyonu tarafından yönetilmektedir. 1872 yılında kurulmasıyla dünyanın en eski millî takımı ünvanına sahiptir. İngiltere'de oynanan maçlar genellikle Wembley Stadyumu'nda oynanmaktadır.
İngilizler, İngilizce dilini konuşan ve ortak tarih ve kültürü paylaşan bir topluluk olarak İngiltere'de ortaya çıkmış etnik grup ve millettir. Tarih boyunca İngiltere'de ikamet etmiş olan farklı grupların karışımıyla yeni bir kimlik oluşturmuşlardır; Anglo-Saksonlar, Vikingler, Bretonlar ve Normanlar İngiliz kimliğini oluşturan etnik gruplardır.
Surrey, İngiltere'nin Güney Doğu İngiltere birinci seviyede yerel idarî birim olarak metropoliten olmayan ve krallık seremonileri için törensel bir county'dir.
Cornwall veya Kernevekeli, Güney Batı İngiltere'de bir county'dir. Bölgenin tarihî merkezleri Bodmin ve Launceston iken, idarî merkezi Truro şehridir.
Olasılık kuramı ve istatistik bilim dallarında negatif binom dağılım bir ayrık olasılık dağılım tipi olup Pascal dağılımı ve Polya dağılımı bu dağılımın özel halleridir.
De Morgan yasası, türetilmiş çözümleme kuralları tümel evetleme ve tikel evetleme biçiminde olmayan önermeleri dönüştürmek için kullanılan teorem. 19. yüzyıl matematikçisi Augustus De Morgan tarafından formüle edilmiştir.
Essex, Birleşik Krallık'ın İngiltere ülkesinde Doğu İngiltere Bölgesinde birinci seviyede yerel idari birim olarak metropoliten olmayan bir kontluk ve coğrafi bakımdan ve krallık seremonileri için bir törensel kontluktur. Merkezi Chelmsford'dur. En yüksek noktası Hertfordshire yakınlarında, Langley köyü civarında Chrishall.
Kontluklar, günümüzde Birleşik Krallık'ın İngiltere ülkesinin en büyük yerel idare birimleri olarak bulunmaktadırlar. Burada "İngiltere ülkesi" terimine dikkati çekmek gerekmektedir. Kontluk sistemleri Britanya adası ile İrlanda adasının kuzeyinde bulunan Birleşik Krallık devletinin tümüne değil sadece İngiltere ülkesiyle ilgilidir. Birleşik Krallık içinde bulunan diğer ülkeler olan Galler, İskoçya ve Kuzey İrlanda değişik tipte yerel idareye sahiptirler.
Warwickshire, İngiltere'nin Batı Midlands bölgesinde yer alan metropolitan olmayan kontluk. Kontluğun merkezi Warwick kentidir. En büyük yerleşkesi, kontluğun kuzeyinde bulunan Nuneaton'dır.
Cheshire Törensel Kontluğu, Birleşik Krallık'a bağlı İngiltere ülkesinin Kuzey-Batı bölgesinde 1974'ten 2009'a kadar birinci seviyede yerel idare metropoliten kontluğu olmuş; 2009'da hukuken lağvedilmemekle tüm görev ve yetkileri yeni kurulan tek seviyeli yerel idareler verilmiştir. Fakat Cheshire yine de kraliyet seremonileri için törensel kontluk olarak kalmıştır. Cheshire Kontluğu merkezi Chester'deydi ama kontluk sınırları içinde en büyük nüfuslu yerleşke Warrington idi.
Northumberland kontluğu Kuzey Doğu İngiltere bölgesinde İngiltere-İskoçya sınırlarında bulunan bir törensel kontluk ve 2009 itibaren bir tek seviyeli yerel idare olarak idare edilen bir yerel idare birimidir. 1981'den itibaren Kontluk merkezi idare binalarının çoğu Kontluğun doğusunda Morpeth'de bulunmaktadır.
Herefordshire, Birleşik Krallık'ta İngiltere ülkesinin Batı Midlands bölgesinde tarihsel bir kontluk, bir törensel kontluk ve 1996'da çıkarılan bir yasal kararname ile 1998'den itibaren bir tek-seviyeli metropoliten olmayan yerel idare bölgesidir. Merkezi kontlukta en büyük nüfuslu yerleşke ve bir katedral şehri olan "Hereford" şehrindedir. Hereford Kontluğunun toplam yüzölçümü 2.180 km² dir.
Doğu Sussex, İngiltere'nin Güney Doğu bölgesinde idarî bakımdan shire tipi bir county'dir. County idarî merkezi, Lewes'de bulunmaktadır.
Mantıkta ve matematikte, bir doğruluk değeri ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir.
Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.
Olasılık teorisinde, tümleyen olay', bir A olayının gerçekleşmeme durumudur. Bir A olayının tümleyeni A′, Ac, 
Rutland East Midlands, İngiltere'de bir ilçe ve üniter otoritedir. İlçe batı ve kuzeyde Leicestershire, kuzeydoğuda Lincolnshire ve güneydoğuda Northamptonshire ile çevrilidir.