Теорема - это предложение, которое является строгим логическим следствием определенных определений и других предложений.
Теорема - это предложение, которое является строгим логическим следствием определенных определений и других предложений.