お詫びと訂正

「ラッセルのパラドックス」の記事の中で、プラヴィッツの体系 F と、Fitchのオリジナルな体系との関係について、事実誤認がありました。お詫びとともに訂正させていただきます。Fitch (1952)の体系は、擬ー演繹に矛盾をさけるためにいくつかad hocな制限を加えたものであり、正規な証明のみを許す体系 F はプラヴィッツによる再定式化にあたります。