Рабби Элиезер, печь Ахная и теорема Гёделя.

Рабби Элиезер и рабби Егошуа спорили о кошерности запчастей печки. В то время как рабби Егошуа строил доводы на алахических постановлениях, рабби Элиезер взял за доказательную базу… чудеса. Это выглядело примерно так.

Рабби Егошуа:
-- Я прав, потому что в таком-то месте в Торе написано так-то!
Рабби Элиезер:
--Если я прав, это рожковое дерево сейчас само себя вырвет с корнем!
Рожковое дерево:
*Вырывает само себя с корнем*

Рабби Егошуа:
-- Я прав, потому что в таком-то месте в Торе написано так-то!
Рабби Элиезер:
--Если я прав, воды этой реки потекут вспять!
Воды реки:
*текут вспять*

Рабби Егошуа:
-- Я прав, потому что в таком-то месте в Торе написано так-то!
Рабби Элиезер:
--Если я прав, пусть стена бейт мидраша упадет.
Стена бейт мидраша:
*начинает падать*
Рабби Егошуа, стене:
--А тебя, бл@ть, кто спрашивал!?
Стена бейт мидраша:
*из страха перед рабби Егошуа прекращает падать, но из страха перед рабби Элиезером не рискует вернуться на прежнее место, а потому замирает где-то между в тревожном ожидании*

Рабби Элиезер, исчерпав все аргументы:
--Если я прав, пусть раздастся голос с небес «Рабби Элиезер прав»
Голос с небес:
-- Не спорьте с рабби Элиезером, он всегда прав.
Рабби Егошуа:
-- В книге Дварим 30:12 написано о Торе «не на небесах она», а потому тоже не вмешивайся!
Голос с небес:
--Ок, ̶н̶а̶у̶ч̶и̶л̶ ̶н̶а̶ ̶с̶в̶о̶ю̶ ̶г̶о̶л̶о̶в̶у̶, победили меня дети мои, кхе-кхе!
Рабби Элиезер *в сердцах*:
-- Чтоб вам все пусто было!
*все боятся, что станет пусто, потому что рабби Элиезер всегда прав*


А теперь примем на секунду серьезный mood.

В 20-м веке Гёдель придет и докажет, что в любой математической системе, в которой теоремы доказываются на основе аксиом, принятых без доказательства, будут существовать такие верные теоремы, которые невозможно опровергнуть с помощью этих аксиом.

Если принять текст Торы за аксиомы, а алахические постановления за теоремы, то согласно Гёделевской теореме о неполноте прав таки раби Элиезер, который привносит в систему теорем такой не валидный аргумент как голос с неба.

Тем не менее этот голос с неба (а значит и рабби Элиезер) оказался прав, кхе-кхе.

Дети думают, что победили…