163852

References

F. Gödel