Principle of the Identity of Indiscernibles

GPTKB entity