—— there’s an unresolved concern around disproving godel’s incompleteness theorem. actually two. 1. the disproof picked, if eventually accepted by scholars, is expected to be taken as the only consistent approach to logic. this is considered unlikely. it is expected there are many sifferent consistent logics, and that the one that makes disproving godel easiest could be poorly chosen for other tasks. 2. disproving godel would indicate all math is solvable. this produces cultural issues if war or powerful intentional harm exist, where a person can kind of solve reality and dominate it more horribly and provably than acceptable. everybody and everything basically dies of depression, boredom, neglect, and de-evolution from the most survivable trait being submitting to whoever dominates the planet. [an idea that likely creates a logic that disproves godel (although i haven’t verified this) has already been shared, i originally planned to rephrase it in this line.].