omniaxiomaticity

omniaxiomaticity