but roughly we don’t believe godel one view is that the proofs make assumptions that are contradictory with the assumptions that base the rules of inference used in them and their interpretation of sentences. some of us expect that if the rules and systems of inference are included in the proof it may be clear the proof is assuming a contradiction. it is still nice to go through and try to understand. maybe we can hold the concept of generalized consistent logic systems nearby to help make it forthright. some if us are worried that making it clear math is solvable is bad at a time of conflict, because it things it implies. thoughts have emerged earlier a little around a math of life (evolution of agents) to ensure conflicts are won in ways that are decreasingly harmful.