User blog comment:Boboris02/Ordinal Analysis of Theories/@comment-11227630-20180213035846/@comment-30754445-20180213182203

Writing "unknown" is perfectly fine.

But writing "unknown, possibly..." is meaningless and counterproductive. If something is "unknown", you shouldn't make stuff up (nor should you copy baseless claims that others have made up).

BTW here's a question for you to ponder:

How do you know that Taranovsky notation is well-founded? By claiming that TON may be stronger than ZFC, you're implying that there's no known proof to "TON is well-founded" within ZFC. So if this is the case, why is everybody convinced that TON is well-founded?