Aunc.1950
net.math
utzoo!decvax!duke!unc!bts
Sat Mar  6 19:29:00 1982
log 0 - log 0 = 0
No.  While there is a rule that X - X = 0, it only becomes a true
sentence-- formula with no free variables-- when you substitute in
the names of things that exist.  There is no logarithm of 0, so
the formula's no good.
This leaves unanswered the question of whether or not net.math
exists.