Extensionalitätsbehauptung is a philosophical or logical claim stating that two expressions or sets are identical if they have the same external elements or referents, focusing on what they denote rather than how they are described.