Within the correctly combined semantic meaning of conventional
{formal proofs of mathematical logic} and conventional {sound deductive inference}
every undecidable sentence of conventional {formal proofs of mathematical logic}
is deductively unsound.
This is true in the same way that 5 > 3 is true, it is a semantic tautology.
Deductively Sound Formal Proofs
https://www.researchgate.net/publication/332864362_Deductively_Sound_Formal_Proofs
--
Copyright 2019 Pete Olcott
All rights reserved