finiteness finitude formulability unfoldability completability terminableness eliminability linearizability axiomatizability formalizability