Formula (mathematical logic)

Summary