>>11576474self reference is always a problem
however, there's a tradeoff
Gödel showed that any sufficiently complex mathematical system was either incomplete or inconsistent. For decades, people have been just assuming that "obviously" you want consistency above all else, and so the opposite case has been sadly neglected. You can have a powerful system that is COMPLETE! if you accept inconsistency. Now in classical logic, inconsistency causes the whole structure to fail. That's not the only answer! Paraconsistent logic (and Relevance Logic) are systems that handle paradoxes like "I am lying" with a 3rd truth value besides true and false, denoting "inconsistent" (there are also systems with 4 values, T, F, B (both), and N (neither true nor false)) --- and the kicker is, you can still do everything, reason, infer, etc., without blowing up --- classical (binary) logic is flawed, broken, incomplete, and probably shouldn't be taught in school. Non-binary logic people!
