text: Cox's axioms and functional equations are: formula_1 saying that the function "f" that maps the probability of a proposition to the probability of the proposition's negation is an involution, i.e., it is its own inverse