@peterrowlett I think so. I haven't pushed her to derive an incompleteness/inconsistency result