ゲーデルがLを考案した動機は数理論理学研究（具体的にはZF+C、ZF+CHの無矛盾性証明）の道具として使うためであって、数学を行う舞台にしようなどとは思っていなかった
と思う、知らんけど