Дэвид Юм явил (или возвестил), что вы не можете вывести должное из существующего.