Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Syntax of Logic and Set Theory   We introduce an extension of the propositional calculus to include abstracts
of predicates and quantifiers, employing a single rule along with a novel
comprehension schema and a principle of extensionality, which are substituted
for the Bernays postulates for quantifiers and the comprehension schemata of ZF
and other set theories. We prove that it is consistent in any finite Boolean
subset lattice. We investigate the antinomies of Russell, Cantor, Burali-Forti,
and others, and discuss the relationship of the system to other set theoretic
systems ZF, NBG, and NF. We discuss two methods of axiomatizing higher order
quantification and abstraction, and then very briefly discuss the application
of one of these methods to areas of mathematics outside of logic.

12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics
1
The categories of this paper are: cs
27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph