Модальный аргумент С. Крипке против теории тождества
... тождества , а именно, его определение и формальные законы тождества , например, закон Лейбница - " тождество неразличимых", или "термины, могущие быть замененными друг на друга так, чтобы эта замена не влияла на истинность, тождественны", формально.