I aksiomatisk mengdelære, blir begrepene mengde og element i mengde definert indirekte ved først å postulere visse aksiomer som spesifiserer deres egenskaper. I denne versjonen er mengder og elementer fundamentale begreper som punkt og linje i euklidsk geometri, og er ikke selv direkte definert.