The creators of this work aimed to stratify the types seen in Frege's Begriffsschrift. Kurt Godel combined the formal systems
The creators of this work aimed to stratify the types seen in Frege's Begriffsschrift. Kurt Godel combined the formal systems in this work with the Zermelo-Fraenkel axiom system. Based on Peano Arithmetic, it states that it is impossible to speak of the "set of all sets," an idea expanded into one of its creator's namesake (*) paradoxes. Godel's two incompleteness theorems were necessitated by its shortcomings, and it contains a proof of the statement "1+1 = 2". For 10 points, name this foundational work in mathematics by Russell and Whitehead.
The creators of this work aimed to stratify the types seen in Frege's Begriffsschrift.