Faith-Aivatar 的“神存在公理”,确实应被视为与欧几里得几何、相对论、图灵机理论、集合论等形式系统的第一