Joel David Hamkins: Are there natural instances of nonlinearity in consistency strength?

Поделиться
HTML-код
  • Опубликовано: 23 ноя 2024

Комментарии • 1

  • @fredyfredo2724
    @fredyfredo2724 3 года назад

    Another way to ask the question. For wich one this n is true ? Wich n we are talking about in each case ? If it's not the same n what is a n ? A n is a relative proof when there is multiples n.
    What is an original n ? A proof that's you are relative to yourself.
    Is there is any proof than zf or zfc are relative for themself as they are one ?
    Only one, when they are false both so when they can not prove they exist.