Спрашивающий, видимо, актиный геймер. Не сталкивавшийся с геометрическими системами, с содержательными в смысле Паша, Пиери, Гильберта и Вейля системами аксиоматического построения геометрий (их много), с тем фактом, что каждая теория претерпевает в своём (естественном, иногда - не очень) развитии три фазы по Гильберту. А именно: наивную, формальную и, наконец, критическую. В последней фазе / стадии активно формируется аксиоматика, причём возникают и решаются вопросы: непротиворечивости, независимости и полноты (иногда - категоричности как изоморфизма всех интерпретаций / моделей в широком смысле, всех возможных реализаций) сформированной системы аксиом.
Так вероятностная аксиоматика (см.первые параграфы рекламируемого усиленно учебника лузитанца В.И. Гливенко) поневоле неполна.
А вот евклидова конечномерная аксиоматика в свете стандартной декартовой реализации - напротив обладает полнотой, как ни трактовать, что по Гильберту, что по Вейлю (Вайлю в другой транскрипции).
Все эти трудные вопросы после титанического труда господ Ферма, Декарта и их последователей сводятся в свете указанного к рассмотрению непротиворечивости теории действительных чисел.
Л.К.