@Nakamuna Ora, эм, не была предложена, потому что "аксиома не нуждается в доказательствах"?