It is not the case that A statement that systematically evades all current proof strategies within a formal system is precisely the kind of statement independence results historically attach to, as Gödel's original incompleteness construction illustrates.
?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.