Talk:Presburger arithmetic

Why does this say "uncountable" ? Aetilley (talk) 01:59, 11 May 2015 (UTC)
 * Can you have multiple Presburger arithmetics? If not, you have your answer. —Μετάknowledge discuss/deeds 02:27, 11 May 2015 (UTC)