数学基礎論で嘘吐き理論だけで大丈夫なんですか?
ラッセルパラドックスも必要なんですよね?