Demonstrating the advantages of axiomatic modeling on example solving a simple intellectual problem - V. A. Kondratenko (Kompiuternaia matematyka, 2015)