x
Theory of Axiomatics: Introduction to a Formal Model — LessWrong