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