Полнота по Коши

Предлагаю, по аналогии с полнотой по Тьюригну, языки полные матана (Haskell) называть полными по Коши :)