自然数全体の集合なんてものが存在するということは
無矛盾性証明では使ってはいけないと，そういうことですか？