Об определение тождественности от Лейбница — Антисложность