Un sistema axiomático puede tener expresados sus axiomas de manera formal o de manera informal: