Lawvere's work is elegant! However, Lawvere missed the crucial importance of Russell's orders on propositions in blocking the construction of monster proposit

Lawvere's work is elegant! However, Lawvere missed the crucial importance of Russell's orders on propositions in blocking the construction of monster propositions using recursive definitions. Orders on propositions block construction of I'mFalse, I'mNotSelfapplicable, I'mUnprovable, and MyTheoremsAreEnumerable. See the following video for more information: https://www.youtube.com/watch?v=AJP1VL7shiI https://www.youtube.com/watch?v=AJP1VL7shiI for the following article: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021