投稿日: 2019年4月14日2019年7月23日整礎関係 Well-founded || 要は下地、基盤、基礎がしっかりしてるって感じ 「正の整数」での「 0 」みたいなものがあると。 “整礎関係 Well-founded” の続きを読む
投稿日: 2019年4月9日2020年1月5日同値 Equivalence || 感覚的には分かってるような？ これはまあ、読んだままですね。 「値」が「同じ」だと、そういうことを示しています。 “同値 Equivalence” の続きを読む
