According to Gödel any formal system has things that can be true while still not being able to be proved (or verified) within the system.
Sure. Those things are mathematical claims, and I exempted mathematical claims.
There are no claims of the form “X exists” inside my formal system, and those are the only claims I’m asserting are incoherent. (Or “X doesn’t exist”, etc.)
According to Gödel any formal system has things that can be true while still not being able to be proved (or verified) within the system.
Sure. Those things are mathematical claims, and I exempted mathematical claims.
There are no claims of the form “X exists” inside my formal system, and those are the only claims I’m asserting are incoherent. (Or “X doesn’t exist”, etc.)