Militärlogikens tolv axiom