ИРО́НИЯ, -и, ж. 1. Тонкая, скрытая насмешка.
Все значения слова «ирония»ИСТО́РИЯ, -и, ж. 1. Действительность в процессе развития. Законы истории. Диалектика истории.
Все значения слова «история»Такова ирония истории, явленная нам в очередной раз.
Такая вот печальная ирония истории просматривается.
К этой драме идей добавилась ирония истории.