isAxiomaticSystem

URI: https://gptkb.org/prop/isAxiomaticSystem
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Barwise–Kunen–Platek_set_theory true
gptkb:MK_set_theory true