t_wの輪郭

axiom

2024/8/18 13:43:00

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

axiom of replacement

2024/8/18 5:59:00

axiom of regularity

2024/8/18 5:59:00

正則性公理

axiom of power set

2024/8/18 5:58:00

冪集合の公理

axiom of empty set

2024/8/18 5:58:00

空集合の公理

axiom of sum set

2024/8/18 5:58:00

和集合の公理

axiom of unordered pair

2024/8/18 5:57:00

axiom of extentinality

2024/8/18 5:57:00

外延性公理

axiom of separation

2024/8/17 23:43:00

axiom of infinity

2024/8/17 23:42:00

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

axiom set theory

2024/8/17 23:40:00

公理的集合論