第二章 《概念文字》中的形式證明

弗雷格的《概念文字》包括三個部分。第一部分是定義和符號，主要說明判斷、條件性、否定、內容同一、函數以及普遍性。第二部分是公理和定理，主要說明關于條件性的規律、關于否定的規律、關于同一的規律，以及關于普遍性的規律。第三部分是序列理論，主要說明數學歸納法的證明過程。本章主要介紹《概念文字》的第三部分，即命題98和命題133的證明過程，以此說明如何從純粹思想中推導出只有依賴于直觀才能成立的命題。