math

Psycho-Pass Set Theory

Decided the twist in Psycho-Pass is best understood by goedelian incompleteness in axiomatic set theory In a formal system such as classical arithmetic or human society in Psycho-Pass, goedel’s incompleteness theorem dictates that you encounter statements which may be true but cannot be produced from first principles. As a result, all non-trivial formal systems are incomplete. In these case you can grow your formal system by accepting either this result or its negation as a new axiom
Read more