Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. 1. Extensionalitätsprinzip bezeichnet eine in der klassischen Logik gebrauchte Annahme dass eine Aussage nur wahr oder falsch sein kann. Ausschlussprinzip einer dritten Möglichkeit.
Nach dieser Definition des Extensionalitätsprinzips ist die formale Logik weitgehends eine "Umfangslogik". Insbesondere damit das Extensionalitätsprinzip Grundlage der mathematischen Logik.
3. In der Mengenlehre das durch das Extensionalitätsaxiom festgelegte Prinzip zwei Mengen gleich sind falls sie die Elemente enthalten.