t_wの輪郭
集合
部分
部分集合
2024/8/17 23:45:00
自然数の部分集合
部分集合の公理
自然数
部分集合
自然数の部分集合
2024/9/28 1:09:00
ビット列は自然数の部分集合に対応付けられる
公理
部分集合
部分集合の公理
2024/8/17 23:46:00
『論理データベース論考』