弗雷格系統

弗雷格系統（Frege's system）邏輯史上第一個嚴格的關於邏輯規律的公理系統。由弗雷格於1879年在《概念文字》中給出。它的一階謂詞演算有三個基本概念：蘊涵、否定和全稱量詞。