  There is a simple template for formulating (large) large cardinal axioms is in terms of elementary embeddings.  In general such an axiom asserts that there is a transitive class M and a non-trivial elementary embedding