Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Some axioms for mathematics   The lambda-Pi-calculus modulo theory is a logical framework in which many
logical systems can be expressed as theories. We present such a theory, the
theory U, where proofs of several logical systems can be expressed. Moreover,
we identify a sub-theory of U corresponding to each of these systems, and prove
that, when a proof in U uses only symbols of a sub-theory, then it is a proof
in that sub-theory.

0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin