@omar-shehata
Graph: top theorems by engagement10 / 10
axiom god_is_good_th63w6tq : warhrjns.god_is_good
axiom logic_is_actual : LogicIsActual
axiom bfo : Axiom.Actual BFO
theorem persons_are_actually_agents : ∀ (x : Type), A (Person.Is x) → A (Agent.Is x)
theorem consistency : t0d1zdc3.LogicIsActual
theorem actual_intro : t0d1zdc3.LogicIsActual
theorem actuality_not_contradictory : ∀ (q : Prop), ¬(A q ∧ A ¬q)
theorem actual_and : ∀ {p q : Prop}, A p → A q → A (p ∧ q)
theorem reform_warranted : ∀ {policy kind : Type},
A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)
theorem reform_warranted : ∀ {policy kind : Type},
A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)
theorem actual_some_not_immoral_is_saying_not_every : A (SomeRichPersonIsNotImmoral ↔ NotEveryRichPersonIsImmoral)
theorem idempotency : t0d1zdc3.LogicIsActual
theorem mp : t0d1zdc3.LogicIsActual