> при наличии общепринятой логической теории/теории множеств.

Нет никакой "общепринятой логической теории". Многочисленные теории труляляшек и сепулек друг дружке противоречат (потенциально) даже на утверждениях о конечных множествах.

Есть впрочем Z_2 и АTR_0: образец "классической" (в отличие от "конструктивистской") истинности, но, как я понял, в этом форуме Z_2 и АТR_0 не жалуют. :)))

(Reply to this) (Parent)