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