feat(FirstOrder/Arith): Arithmetical hierarchy is equivalent to strict arithmetical hierarchy#336

iehality wants to merge 2 commits intomasterFormalizedFormalLogic/Foundation:masterfrom

strict-hierarchyFormalizedFormalLogic/Foundation:strict-hierarchyCopy head branch name to clipboard