theorem AxiomaticThinking.my_physical_space_not_contradictory
theorem AxiomaticThinking.my_physical_space_not_contradictory
(logic_is_actual : LogicIsActual)
(my_perceived_space_is_actuality : MyPerceivedSpaceIsActuality)
: ∀ p : Prop, ¬ ((p exists-in-perceived-physical-space-of MetaBias)
      ∧ ((¬ p) exists-in-perceived-physical-space-of MetaBias))