აქსიომატიზაცია – აქსიომატიკის დადგენა და თეორიის ძირითადი დებულებების გამოყვანა.
მათემატიკის ენციკლოპედიური ლექსიკონი