Ist A ein Element des Universums, welches eindeutig bestimmt ist, ist A=A ebenfalls ein wahrer Ausdruck und man kann über das oben angegebene Kalkül herleiten. Wichtig hierbei ist jedoch, dass dieses A auch tatsächlich existieren muss und Teil des Universums ist.