>>188
「証明された定理が必ず正しい」の「正しい」はどういう意味になる?