Is there a first-order-logic for calculus?
Solution 1:
The first order theory of the algebraic and order properties of the real numbers is the theory of real closed fields, and you will find various axiomatizations when you follow the link.
A structure with the first order properties of the real numbers may not satisfy the completeness axiom, which is not first order. For example, the field of hyperreal numbers has the same first order properties as the field of real numbers, but the set of finite numbers is nonempty and bounded above by any infinite number, yet has no supremum.
Solution 2:
Fields can be studied in the first-order signature $(0,1,+,\times, =)$. For the reals, you could move to a larger language for ordered fields. It is very common for model theorists to study fields in this way.
By the Lowenheim-Skolem theorem, any first-order theory with an infinite model has a model that is countably infnite. This includes the set of all statements in the language of fields that are true in $\mathbb{R}$. It also includes ZFC.
Solution 3:
Real analysis, including set theory, can be formalised within ZFC. As a first-order theory, ZFC has a countable model by the Löwenheim-Skolem theorem, so the answer to your question is yes.
You ask whether there is a "logic for calculus", which is a little bit misleading: we usually think of a logic as a language together with a proof system and a semantics. First and second order logic are logics or formal systems under this description.
What is needed for calculus in addition to the basic formal system is a signature consisting of those non-logical constants required to pick out those relations, functions and constant elements which we would need to refer to in order to axiomatise the structures involved (in this case, the complete ordered field), and a set of axioms sufficient to prove the theorems of calculus.
As I said above, the background theory employed is usually that of set theory, but in fact that's not necessary: one could drop the powerset axiom and in its place just assert the existence of $\mathbb{R}$, and perhaps the set of functions $2^\mathbb{R}$, depending on how much one wanted to prove.