It is not the case that A predicate satisfying the HBL conditions provably mirrors all provability facts, so the distinction between 'really meaning' consistency and merely expressing it collapses under reflection.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.