>>85
>1)公理系には 必ず 独立命題が存在する(ゲーデル不完全性定理)
> 独立命題とは その公理系からは 否定も証明もできない命題のことだ
大嘘。
極大L-理論から独立なL-命題は存在しません。仮に存在したら極大であることに反します。
あんた平気で嘘つくね。