ラッセルのパラドックス
アクゼルのフレーゲ構造は、型無しλ計算に基づいて命題（proposition）、真理（truth）、さらには集合（set）を付け加えた体系で、特に（構成的）集合はλ式として表現されるが、水平線を持たないため内的定義可能性は素朴集合論よりも大幅に減ぜられる。そのため、ラッセルのパラドックスを引き起こすような病的巨大集合はそもそも内的定義できないため、パラドックスは消極的に回避されることになる。