##  [Expressivitätslücke](/index.php/de/node/61063) 

  ##  [Expressivitätslücke](https://mathlogic.quantumdictionary.io/de/node/61064) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Eine messbare Lücke zwischen der Menge von Eigenschaften, die eine Logik oder ein Spezifikationssprache definieren kann, und der Menge von Eigenschaften, die von einer Anwendung, Spezifikation oder Verifikationsaufgabe benötigt werden.