The Formula Set is the Union of Formula Sets of all Complexities

Last updated Nov 1, 2022

TODO: proof is almost identical to The Term Set is the Union of Term Sets of all Complexities