User blog comment:Boboris02/Ordinal Analysis of Theories/@comment-11227630-20180213035846/@comment-30118230-20180213202724

To answer your question I first need to understand what you mean by "well-founded".

First off, Dmytro Taranovsky has made a Python document with code for C. The program executes just fine. If there were any basic problems with the nature of C,such as an infinite loop,or a definition which is not applicable,then the program should either give some error as a result or just not excute and the console.log should not print anything as an output. This alone shows that fundamentally,the notation is well defined.

Also,unknown,possibly.... gives a possibility,which is better than nothing and may still be helpful to orientate people or to give a general outline.