在他的著作的第一章中，弗雷格确定了基本概念和标号（sign），象命题（"断定／判断"），和全称量词（"普遍性"），蘊涵（"条件性"），否定和等号；在第二章中他声明了九个形式化的命题作为公理（它们是在语义上证明了的形式化陈述）。
tsʑqr ʑk çɣr tsʁɣr tsr çɣr çqr tɕhqk tsʁʑɣ^k tsʁɣ^k xn ɣqn ɣ^ɣn ɣr çqɣ^r ɣr ɬqk ɕɣr ɣ^ʑqr qʑr ʁɣn ɕqʑk ʁʑr (en)sˈaɪn(cmn) khqʑɣ^r qɣ^r qn"çʑr çqɣ^r ʑr çʑr"ʁɣn ʑn ʝʁɣɣ^k qʑɣ^r ʝqn"r ɕqʑr khqɣ^r"tɕhr ʁʑn"qʑn ɬqʑr khqɣ^r"xr çqɣ^r ʁɣn çɣɣ^r ʁʑr tsʑqr çqr ɣr tsʁʑɣ^k tsʁɣ^k ʑk ʁɣɣ^k qɣ^n ɣr ɬqr ɣ^ɣr khqɣ^n ʁqr ʁʑr çɣr qɣ^r qn tsr thɣqr ɣ^ɣ^k qr ʑk ɣr ʁqr tsʑqr tɕhr tɕhqr ʁʑɣ^r tsʁɣɣ^r qɣ^n ɣr çɣr khqɣ^n ʁqr ʁʑr ʝʁɣn ʁr