A) A primitive constant B) A finitely axiomatizable theorem C) An axiom schema D) A null hypothesis
A) Only under specific conditions B) It is an unproven conjecture C) Yes D) No
A) Givant B) Russell C) Tarski D) Montague
A) Cantor's set theory B) ZFC C) Naïve set theory D) Relation algebra
A) At least one axiom schema B) More than three quantifiers C) A proof of Russell's paradox D) A finite set of constant axioms
A) Burali-Forti's antinomy B) Russell's antinomy C) Cantor's antinomy D) Tarski's antinomy
A) Relation algebra B) Number theory C) Topology D) Calculus
A) Two B) Zero C) Three D) Four
A) Tarski and Givant B) Burali and Forti C) Montague D) Russell and Cantor
A) Bertrand Russell B) George Boolos C) Peano D) Zermelo
A) GST is a fragment of Z B) They are unrelated C) Z is a fragment of GST D) GST is the same as Z
A) Only arithmetic B) All mathematics including infinite sets C) Only geometry D) All mathematics not requiring infinite sets
A) Axiom of Choice B) Axiom of Foundation C) First-order Peano axioms D) Second-order Peano axioms
A) They are all urelements B) They are a mix of sets and atoms C) They are all sets D) They are all numbers
A) Subset relation B) Function application C) Set membership D) Equality
A) Intuitionistic logic B) Second-order logic C) First-order logic with identity D) Propositional logic
A) Infinity B) Adjunction C) Power Set D) Union
A) Sets with the same members are the same set B) All sets are equal C) The empty set has no members D) Sets are composed of individuals
A) Foundation B) Extensionality C) Adjunction D) Separation
A) To avoid Russell's paradox B) To satisfy Peano axioms C) To define the empty set D) To allow for infinite sets
A) Union B) Infinity C) Power Set D) Extensionality
A) Givant B) Boolos C) Burgess D) Tarski |