Das Koinzidenzlemma ist ein Satz der mathematischen Logik, der die naheliegende Feststellung trifft, dass der Wahrheitswert einer interpretierten Formel nur von den Interpretationen derjenigen Symbole abhängt, die tatsächlich in der Formel vorkommen.