基礎付けを無矛盾性証明の同義語と捉えてる人、いるんじゃない?