148. Орнитологическое доказательство Бога

У Борхеса есть замечательная короткая новелла "Argumentum Ornitologium" (Орнитологический довод), которая представляет собой еще одно доказательство бытия Бога. Вот весь ее текст.   

Я закрываю глаза и вижу птиц, вижу их меньше секунды. Я никогда не могу сосчитать их. Определенное ли число птиц вижу я, закрыв глаза? Да, если есть Бог, ибо Он его знает точно. И нет, - если Бога нет. Кто же может определить число, не считая? Пусть так. Я вижу птиц. Скажем меньше десятка. Несомненно больше одной. Если число не определено - то это не девять, не восемь, не семь, не шесть и не пять. А также не два, не три, не четыре. Но я вижу птиц. Числом меньше десятка, точно больше одной. Их сколько - то есть! Ergo, Бог существует.

  Математически суть этого доказательства сводится к использованию т.н. аксиомы выбора - краеугольного постулата, лежащего в основаниях теории множеств и вызвавшего много споров. Доказательство Борхеса можно существенно сократить, если использовать формулу Декарта (Cogito ergo sum - Мыслю, следовательно существую), модифицированную надлежащим образом: Eligo ergo Deus est - Выбираю, следовательно Бог существует!