t_wの輪郭

RSS

axiom

2024/8/18 22:43:00

axiom of unordered pair axiom of regularity axiom of empty set axiom of power set axiom of sum set axiom of extentinality axiom of replacement axiom of separation axiom of infinity axiom set theory

axiom of regularity

2024/8/18 14:59:00

正則性公理

axiom of replacement

2024/8/18 14:59:00

axiom of empty set

2024/8/18 14:58:00

空集合の公理

axiom of power set

2024/8/18 14:58:00

冪集合の公理

axiom of sum set

2024/8/18 14:58:00

和集合の公理

axiom of unordered pair

2024/8/18 14:57:00

axiom of extentinality

2024/8/18 14:57:00

外延性公理

axiom of separation

2024/8/18 8:43:00

axiom of infinity

2024/8/18 8:42:00

『論理データベース論考』無限集合の公理

axiom set theory

2024/8/18 8:40:00

公理的集合論