“…Two-valued logic does not provide a suitable logical frame to represent the notion of indistinguishability, mathematically, and the consideration of indistinguishability within the context of bivalent logic leads to Poincare-like paradoxes [19,24,25]. Many-valued logical representation of indistinguishability, known as many-valued equivalence relations (fuzzy equivalence relations, indistinguishability operators, similarity relations, many-valued equalities, etc.…”