命題関数の真理集合として集合を定義するアプローチはラッセルのパラドクスと呼ばれる問題を引き起こします。このような問題を解消する一つの方法は、集合という概念を公理から定義するというものです。