All Assertions

• Assertions:
  • A4: ∀x: Socrates_S1, (x)⇒ Man_S2, (x)
  • A5: ∀x: Man_S2, (x)⇒ Mortals_S3, (x)
  • A6: ∃x: Socrates_S1, (x)
  • A8: ∀x: Socrates_S1, (x)⇒ Mortals_S3, (x)
  • A9: ∀x: Socrates_S1, (x)⇒ ¬Mortals_S3, (x)
  • A19: ∃x: Dog_S4, (x)∧ Owns_S9, (Jack_F10, x)
  • A20: ∀x: ∃y: Dog_S4, (y)∧ Owns_S9, (x, y)⇒ AnimalLover_S7, (x)
  • A21: ∀x: AnimalLover_S7, (x)⇒ ∀y: Animal_S6, (y)⇒ ¬Kills_S8, (x, y)
  • A22: Kills_S8, (Jack_F10, Tuna_F11)∨ Kills_S8, (Curiosity_F12, Tuna_F11)
  • A23: Cat_S5, (Tuna_F11)
  • A24: ∀x: Cat_S5, (x)⇒ Animal_S6, (x)
  • A25: Kills_S8, (Jack_F10, Tuna_F11)
  • A26: Kills_S8, (Curiosity_F12, Tuna_F11)
  • A38: ∀x: these truths_S13, (x)⇒ self-evident,_S14, (x)
  • A39: ∀x: men_S15, (x)⇒ created equal,_S16, (x)
  • A40: ∀x: ∀y: men_S15, (x)∧ certain unalienable Rights,_S17, (y)⇒ endowed by their Creator with_S20, (x, y)
  • A41: ∀x: Life,_S21, (x)⇒ certain unalienable Rights,_S17, (x)
  • A42: ∀x: Liberty_S22, (x)⇒ certain unalienable Rights,_S17, (x)
  • A43: ∀x: the pursuit of Happiness_S23, (x)⇒ certain unalienable Rights,_S17, (x)
  • A64: ∀x: ∀y: Human Activity_S33, (x)∧ Global Warming_S28, (y)∧ Cause Of_S32, (x, y)
  • A65: ∀x: ∀x: Commentary: Zero,
  • A66: ∀x: ∀y: Human Activity_S33, (x)∧ Global Warming_S28, (y)∧ Cause Of_S32, (x, y)⇒ Anthropogenic Global Warming_S31, (y)
  • A77: ∃x: Global Warming_S28, (x)
  • A80: ∀x: someone who accepts A79, (x)⇒ someone who accepts A77, (x)
  • A78: ∃x: Climate Change_S30, (x)
  • A79: ∃x: Anthropogenic Global Warming_S31, (x)
  • A80: ∀x: someone who accepts A79, (x)⇒ someone who accepts A77, (x)
  • A90: ∀x: someone who accepts A79, (x)∨ ¬someone who accepts A79, (x)
  • A91: ∃x: A79, (x)∨ ¬∃x: A80, (x)
  • A93: ∃x: A79, (x)∨ ∀x: ¬A79, (x)
  • A80: ∀x: someone who accepts A79, (x)⇒ someone who accepts A77, (x)
  • A91: ∃x: A79, (x)∨ ¬∃x: A80, (x)
  • A90: ∀x: someone who accepts A79, (x)∨ ¬someone who accepts A79, (x)
  • A91: ∃x: A79, (x)∨ ¬∃x: A80, (x)
  • A93: ∃x: A79, (x)∨ ∀x: ¬A79, (x)
  • A102: ∀x: carbon dioxide_S39, (x)⇒ Greenhouse Gasses_S34, (x)
  • A104: ∀x: Cause Of_S32, (x, Human Activity_F33)⇔ Anthropogenic_S40, (x)
  • A113: ∀x: Global Warming_S28, (x)⇒ Climate Change_S30, (x)
  • A135: ∀x: parents of_S42, (U.S. Senator from Florida_F41, x)⇒ Fled_S44, (Fidel Castro_F43, x)
  • A139: ∀x: Year C.E._S46, (Fled_F44(parents of_F42(U.S. Senator from Florida_F41)), x)⇒ Year C.E._S46, (1956, x)
  • A155: ∀x: ∃y: greater than_S51, (y, x)∧ prime_S52, (y)∧ prime_S52, (+_F53(y, 2))
  • A156: ∀x: TPC_S49, (x)⇔ A155, (x)
  • A156: ∀x: TPC_S49, (x)⇔ A155, (x)
  • A158: ∀x: TPC_S49, (x)⇒ Independent of ZFC_S54, (x)
  • A170: ℕ_S58, (1)
  • A190: ∀x: A170, (x)⇒ Peano Axioms_S62, (x)
  • A171: ∀x: ℕ_S58, (x)⇒ ℕ_S58, (successor_F59(x))
  • A177: ∀x: ∀y: successor_S59, (y, x)⇔ y=+_F53(x, 1)
  • A178: ∀x: successor_S59, (0, x)⇒ ¬ℕ_S58, (x)
  • A179: ∀x: ∀y: successor_F59(x)=successor_F59(y)⇒ x=y
  • A182: ∀x: subset_S60, (x, ℕ_F58)∧ member_S61, (1, x)∧ ∀y: member_S61, (y, x)⇒ member_S61, (successor_F59(y), x)
  • A188: ∀x: ∀y: subset_S60, (x, y)⇔ ∀z: member_S61, (z, x)⇒ member_S61, (z, y)
  • A190: ∀x: A170, (x)⇒ Peano Axioms_S62, (x)
  • A198: ∀x: you, (x)⇒ true
  • A201: ∀x: Person or Persons, (x)⇒ aware. _S65, (x)
  • A202: ∀x: Predicate that is true when x is the whole universe_S63, (x)⇒ aware. _S65, (x)
  • A210: ℕ_S58, (0)
  • A218: ∀x: ℕ_S58, (x)⇒ sum of numbers from 1 to x_F67(x)=÷_F68(×_F69(x, successor_F59(x)), 2)