Geometriya aksiomalarini hamma biladi. Bir muncha vaqtdan beri aksiomalar boshqa fanlarda ham paydo boʻldi. Masalan, barcha dasturlash tillaridagi dasturlarning mutlaq koʻpchiligi uchun Merfi qonunlari toʻplamiga tegishli boʻlgan dasturchining birinchi aksiomasi oʻrinli. Bu aksioma nima haqida aytadi?