Доказать содержательную непротиворечивость аксиоматики поля

Свойства сложения:
коммутативность: 𝑎 + 𝑏 = 𝑏 + 𝑎 ∀ 𝑎, 𝑏∈𝔽
ассоциативность: 𝑎 + (𝑏 + 𝑐) = (𝑎 + 𝑏) + 𝑐 ∀ 𝑎, 𝑏, 𝑐∈𝔽
наличие нуля: ∃ 0∈𝔽 ∶ 𝑎 + 0 = 𝑎 ∀ 𝑎∈𝔽
наличие противоположных: ∀ 𝑎∈𝔽 ∃ (−𝑎)∈𝔽 ∶ 𝑎 + (−𝑎) = 0
Свойства умножения
коммутативность: 𝑎𝑏 = 𝑏𝑎 ∀ 𝑎, 𝑏∈𝔽
ассоциативность: 𝑎(𝑏𝑐) = (𝑎𝑏)𝑐 ∀ 𝑎, 𝑏, 𝑐∈𝔽
наличие единицы: ∃ 1∈𝔽 ∶ 1 𝑎 = 𝑎 ∀ 𝑎∈𝔽
наличие обратных: ∀ 𝑎∈𝔽 ∖ 0 ∃ 𝑎 −ଵ∈𝔽 ∶ 𝑎𝑎−ଵ = 1
Свойства, связывающие сложение с умножением
дистрибутивность: 𝑎(𝑏 + 𝑐) = 𝑎𝑏 + 𝑎𝑐 ∀ 𝑎, 𝑏, 𝑐∈𝔽
нетривиальность: 0 ≠ 1
Теория, в которой множество теорем покрывает всё множество формул (все формулы являются теоремами, «истинными высказываниями»), называется противоречивой . В противном случае теория называется непротиворечивой.
В теории поля заданы правила, и при соответствии высказывания этим правилам оно является теоремой, а при несоответствии – ложным высказыванием