Академик Колмогоров очень гордился выведенной им формулой: "Если B следует из A и B приятно, то A — истинно". Что описывает эта формула?