2021-06-04 公理・定義・定理・補題・系とは何か 公理・定義・定理・補題・系とは何か https://www.youtube.com/watch?v=K0HxDK5lZxc&t=1s 公理や定義は、証明をする類のものではない 公理系