
Matematik felsefesi, matematiğin varlıksal, bilgisel ve yöntemsel sorunlarını inceleyen, matematiğin temelleriyle ilgili ana kavramları irdeleyen bir felsefe dalıdır.

Aşağıda Güneş Sistemi'ndeki cisimlerin Güneş'ten uzaklıklarına göre sıralanmış bir listesi bulunmaktadır. Çapı 500 km'den küçük cisimler listeye alınmamıştır.
- Güneş, Tayf sınıfı G2V ana kol yıldızı
- Karasal gezegenler, uyduları ve Güneş'e yakın yörüngeli asteroitler: İç Güneş Sistemi
- Merkür
- Merkür geçişli asteroitler
- Venüs
- Venüs geçişli asteroitler
- 524522 Zoozve (2002 VE68), Venüs'ün yarı-uydusu
- Dünya
- Ay
- Dünya'ya Yakın Asteroitler (99942 Apofis dahil)
- Dünya truvası (2010 TK7)
- Dünya geçişli asteroitler
- Mars
- Deimos
- Phobos
- Mars truvaları
- Mars geçişli asteroitler
- Mars ve Jüpiter'in yörüngeleri arasında bulunan Asteroit Kuşağı bünyesindeki asteroitler,
- Ceres, cüce gezegen
- Pallas
- Vesta
- Hygiea
- Bu asteroitlerin sayısı yüz binlercedir. Yukarıda bunların en büyük dördü listelenmiştir. Ayrıca bakınız: İstisnai asteroitler listesi, Asteroitlerin listesi ve Güneş sistemindeki nesnelerin kütleye göre listesi
- Asteroit kuşağından ayrı, bir dizi küçük gruplar
- Gaz Devleri, bunların uyduları, truva asteroitleri ve bazı küçük gezegenler: Dış güneş sistemi
- Jüpiter
- Jüpiter'in halkaları
- Jüpiter'in doğal uydularının listesi
- Jüpiter truvaları
- Yunan Kampı (L4)
- Truva Kampı (L5)
- Jüpiter geçişli asteroitler
- Satürn
- Satürn'ün halkaları
- Satürn'ün doğal uydularının listesi
- Mimas
- Enceladus
- Tethys (truva uyduları: Telesto and Calypso)
- Dione (truva uyduları: Helene and Polydeuces)
- Rhea
- Titan
- Hyperion
- Pheobe
- Iapetus
- Satürn'ün truva uyduları
- Çoban uydu
- Satürn geçişli asteroitler
- Uranüs
- Uranüs'ün halkaları
- Uranüs'ün uydularının listesi
- Miranda
- Ariel
- Umbriel
- Titania
- Oberon
- Uranüs truvalıları (2011 QF99)
- Uranüs geçişli asteroitler
- Neptün
- Neptün'ün halkaları
- Neptün'ün uydularının listesi
- Neptün truvaları
- Neptün geçişli asteroitler
- Truvalı olarak sınıflandırılmayan küçük gezegenler
- Neptün'ün yörüngesinin dışındaki Neptün ötesi cisimler
- Kuiper kuşağı cisimleri (KBO):
- Plutinolar
- Plüton, cüce gezegen
- Plüton sistemi
- Charon
- Nix
- Hydra
- Kerberos
- Styx
- 90482 Orcus
- Twotinolar
- Cubewanolar (klasik cisimler)
- Haumea, cüce gezegen
- Makemake, cüce gezegen
- 50000 Quaoar
- (307261) 2002 MS4
- 120347 Salacia
- 20000 Varuna
- Dağınık disk nesneleri
- Eris, cüce gezegen
- 225088 Gonggong
- (84522) 2002 TC302
- (87269) 2000 OO67
- V774104
- Ayrılmış nesne
- 90377 Sedna (muhtemelen Oort bulutu içinde)
- 541132 Leleākūhonua
- 2004 XR190
- 2012 VP113 (muhtemelen Oort bulutu içinde)
- Sednoidler
- Oort bulutu (kuramsal)
- Hills bulutu
- Oort bulutu'nun dışı

Nesne yönelimli programlama veya kısaca NYP, Her işlevin nesneler olarak soyutlandığı bir programlama yaklaşımıdır. NYP destekleyen programlama dilleri yüksek seviye diller olarak adlandırılır.

Sayısal nesne tanımlayıcısı elektronik bir belgenin güncel konumuna bağlı olmayan kalıcı bir tanımlayıcıdır. Bir DOI için tipik bir kullanım, bilimsel bir makaleye eşsiz bir tanımlayıcı sağlamak içindir, böylece herhangi bir kişi bu makalenin ayrıntılarını ve belki makaleninin tamamını elde edebilir. Bu anlamda bir sabit bağlantı (permalink) işlevi görür. İnternet'teki Web sayfaları için kullanılan URL sisteminden farklı olarak, makalenin yeri değişse de DOI zaman içinde değişmez. Bunun mümkün olabilmesi için makalenin yeri değiştiği zaman DOI çözünüm sisteminin güncellenmesi gerekir.

Avcı Kolu, Samanyolu galaksisinin küçük sarmal bir koludur. Güneş Sistemi ve Dünya, Avcı Kolu'nun içindedir.

Düğüm; ip vb. doğrusal cisimleri, birbirine tutturmak için kullanılan yöntemdir. Düğüm, bir veya birden fazla ipten, dokumalardan, sicim ve kayışlardan, zincirlerden, hatta birbirine bağlanmış hatlardan meydana gelen dokumalardan meydana gelebilir. Düğümler, bağlama yöntemleri, kullanımları, hikâyeleri, kökenleri ve düğüm teorisinin matematiksel gözlemleri nedeniyle ilginç nesneler olarak tanınırlar.

Anele bağı, ipi sabit bir nesneye bağlamak için kullanılan bir düğümdür. Genellikle gemiden sarkıtılan demir, şamandıra gibi şeylerin halkasına ip bağlanırken kullanılır. Meza volta bağı da denir; Yelkenli filikaların yelken serenlerini yukarıya ve aşağıya kaldırıp indiren kandilisa halatına yelken bu bağ ile bağlanır.

Çok yük bineceğini bildiğimiz bir ipi sabit bir nesneye bağlamak için kullanılan bir düğümdür. Genellikle gemiden sarkıtılan demir gibi ağır şeylerin halkasına ip bağlanırken kullanılır. Bu yüzden "halka bağı" adıyla da bilinir.

Leş bağı çektikce sıkışan bir düğümdür.

İpin ucunda sabit ve güvenilir bir halka oluşturan bir düğüm çeşididir. İp ortasında da bağlanabilir, ama o zaman iki yana açısı aynı olmaz.

Sıkıştırma bağı çok güvenilir ama çözülmesi zor bir bağdır. Çifte sıkıştırma bağı daha da bir güvenilir ve de çözülemezdir.

Çifte düğüm bağı bir adi düğümdeki ucun başlangıç etrafında bir dolanma yerine fazladan bir daha dolanmasıyla olușan düğümdür.

Yalancı alp kelebeği halkası foralı, yani kolay çözülebilen ve sugalı, yani ana ip üzerinde kayarak sıkışabilen, bir askı bağıdır.

Çözülmez bağ ip ucunu ana ipe bağlamak, böylece olusan ilmek ile birçok nesneyi birbirine bağlamak için kullanılan bir düğüm şeklidir.

Kandilisa bağı, halat ucunu silindir yapılı bir nesneye bağlamak için kullanılan bir bağdır. Silongo bağı da denir.

Adi ilmek ipin kendi etrafında bir dönüp, döngüsü içinden forasının geçmesiyle oluşan düğümdür.

Çifte sıkıştırma bağı çok güvenilir ama çözülmesi zor bir bağdır. Sıkıştırma bağı

Çapraz Sıkıştırma bağı Sıkıştırma bağının bir de fazladan çapraz yönden köprülüsüdür.

El incesi cevizi, halatın ucundaki kollar ayrıştırılmadan yapılan, ceviz görünümlü, amacına hizmet edecek yuvarlak bir nesneyi de içine hapsederek yapılan bir düğümdür.

Volta bağı, bir ucu gemide o maksatla bulunan koç boynuzlarına bağlı halat, karadaki kazık ve iskele babası gibi bir nesneye dolanıp gelen çımasını koç boynuzlarına tutturmak için kullanılan bir düğümdür. Çok iyi tutması, gerginliği alarak, yük var iken bile bağlanıp çözülebilmesi işe yarar özellikleridir.