ამგვარად დავიდ ჰილბერტის და სხვების მიერ შემუშავებული იქნა სხვადასხვა აქსიომატური სიმრავლეთა თეორიები