GO:0004638:   phosphoribosylaminoimidazole carboxylase activity
Catalysis of the reaction: 5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxylate + 2 H(+) = 5-amino-1-(5-phospho-D-ribosyl)imidazole + CO(2).