Ponieważ w logice głównym narzędziem są języki pierwszego rzędu, matematycy rozważają arytmetykę Peana (oznaczaną przez PA od angielskiego Peano arithmetic). Jest to teoria w języku pierwszego rzędu, która powstaje przez zastąpienie aksjomatu indukcji schematem (nieskończoną listą) aksjomatów pierwszego rzędu. Teoria PA jest znacznie słabsza niż aksjomatyzacja Peana, w szczególności nie jest kategoryczna i ma wiele nieizomorficznych modeli.