ブラムの公理
φ {\displaystyle \varphi } を適当な計算模型から得られたacceptableナンバリングとする。 Φ {\displaystyle \Phi } を時間または空間 (もしくはそれらを適当に組合せた) 複雑性とすれば、 ( φ , Φ ) {\displaystyle (\varphi ,\Phi )} は複雑性測度である。時間量や計算量は実際に計算を走らせてみれば分かるから計算可能である。 Φ {\displaystyle \Phi } が時間量のとき Φ e ( x ) = t {\displaystyle \Phi _{e}(x)=t} であるか否かは計算を t {\displaystyle t} 時間だけ走らせてみれば分かるから計算可能である。 Φ {\displaystyle \Phi } が空間量のときに2番目の公理を満たすことは考察を必要とする。それには空間量を t {\displaystyle t} 以下に制限したとき系が取りうる状態数が有限であることに注意すればよい。