La lógica propisicional, la lógica cuantificacional y la metateoría son parte de la lógica elemental.