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