Об определение тождественности от Лейбница
«Тождественные [аргументы] суть те, один из которых может быть поставлен вместо другого с сохранением истинности». (Лейбниц) Операционное определение, а не просто "по понятиям". Даже если не придираться к "истинности", предположив вместо оного понятия управляемую норму, нужно задать вопрос "Когда, кем, как, куда и для чего поставлен?" Нормальный математик, наверно, покрутит пальцем у виска от...