Dokumen tersebut membahas aksioma-aksioma lapangan yang mendasari operasi aljabar, termasuk hukum komutatif dan asosiatif penjumlahan dan perkalian, serta hukum distributif perkalian terhadap penjumlahan.
2. The Field Axioms
Dalam menghitung dengan bilangan,
dan khususnya dalam menghitung dengan
simbol ("Aljabar"), kita asumsikan
beberapa hal: terdapat bilangan 0 dan 1,
setiap bilangan a memiliki invers
penjumlahan -a, setiap a ≠ 0 memiliki
kebalikan (reciprocal) di a-1. disitulah
aksioma lapangan berlaku.