The noun first-order logic can be countable or uncountable.
The singular form of first-order logic is also first-order logic.