Jabarkan Sistem dinamikal dari Bentuk kanonik

Studi tentang sistem dinamikal tumpang tindih dengan sistem terintegralkan; terdapat ada gagasan tentang bentuk normal (sistem dinamis).

Dalam mempelajari manifold dalam tiga dimensi, kita memiliki bentuk dasar pertama, bentuk dasar kedua dan bentuk dasar ketiga.

Bentuk kanonik Blake, juga dikenal sebagai jumlah lengkap implikan prima, jumlah lengkap, atau bentuk prima disjungtif

Bentuk normal Cantor dari bilangan ordinal

Manipulasi simbolik suatu rumus dari satu bentuk ke lainnya disebut "penulisan ulang" dari rumus itu. Seseorang dapat mempelajari sifat abstrak dari penulisan ulang rumus generik, dengan mempelajari kumpulan aturan  dengan rumus yang dapat dimanipulasi secara valid. Ini adalah "aturan penulisan ulang"—bagian integral dari sistem penulisan ulang abstrak. Pertanyaan umum adalah apakah itu mungkin untuk membawa beberapa ekspresi umum ke satu bentuk umum, bentuk normal. Jika rangkaian penulisan ulang yang berbeda masih menghasilkan bentuk yang sama, maka bentuk tersebut dapat disebut bentuk normal, dengan penulisan ulang disebut konfluen. Tidak selalu mungkin untuk mendapatkan bentuk normal.