The monotheistic all powerful one.

  • HexesofVexes@lemmy.world
    2·
    9 months ago

    In classical logic, trichotomy on the reals (any given numbers is either >0, <0 or =0) is provably true; in intuitionistic logic it is probably false. Thanks to Godel’s incompleteness theorem, we’ll never know which is right!