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 i
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.